Spaan, E., "Complexity of modal logics," Ph.D. thesis, ILLC, University of Amsterdam (1993). Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Deciding Regular Grammar Logics With Converse Through.. - Demri, de Nivelle (2003) (3 citations) (Correct)
Automata-Theoretic Decision Procedures for Information Logics - Demri, Sattler (2002) (Correct)
The Complexity of Regularity in Grammar Logics - Demri (2001) (1 citation) (Correct)
Bringing them all Together - Areces, Blackburn (2001) (4 citations) (Correct)
On Modal Logics between K × K × K and S5.. - Hirsch, Hodkinson.. (Correct)
The Inverse Method Implements the Automata Approach for Modal .. - Baader, Tobies (2001) (5 citations) (Correct)
Advances in Modal Logic, Volume 3 - Wolter, Wansing, de Rijke, (eds.) (2000) (Correct)
The Complexity of Reasoning with Boolean Modal Logics - Lutz, Sattler (2000) (12 citations) (Correct)
A Road-map on Complexity for Hybrid Logics - Areces, Blackburn, Marx (1999) (26 citations) (Correct)
The Computational Complexity of Hybrid Temporal Logics - BLACKBURN, al. (2000) (9 citations) (Correct)
The Inverse Method Implements the Automata Approach for Modal .. - Baader, Tobies (2001) (5 citations) (Correct)
The Complexity of Reasoning with Boolean Modal Logics - Lutz, Sattler (2000) (12 citations) (Correct)
The Complexity of Propositional Linear Temporal Logics in.. - Demri, Schnoebelen (1997) (14 citations) (Correct)
The Complexity of Reasoning with Boolean Modal Logics - Lutz, Sattler (2000) (12 citations) (Correct)
A Road-map on Complexity for Hybrid Logics - Areces, Blackburn, Marx (1999) (26 citations) (Correct)
Complexity of Hybrid Logics over Transitive Frames - Mundhenk, Schneider.. (Correct)
Modal Sequent Calculi Labelled with Truth Values: Cut.. - Mateus, Rasga, Sernadas (Correct)
Products of Modal Logics, Part 1 - Dov Gabbay Department (Correct)
Subtype Constraints in Modal Logic - Niehren, Priesnitz (2005) (Correct)
Mary Likes all Cats - Lutz, Sattler (2000) (Correct)
Products of Modal Logics, Part 1 - Dov Gabbay Department (Correct)
Decidability of Class-Based Knowledge Representation Formalisms - De Giacomo (1995) (11 citations) (Correct)
Why Combine Logics? - Blackburn, de Rijke (1990) (1 citation) (Correct)
Why Combine Logics? - Blackburn, de Rijke (1995) (1 citation) (Correct)
A Polynomial Space Construction of Tree-Like Models for Logics.. - Demri (2002) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC