Sciweavers

Share
LICS
2006
IEEE

PSPACE Bounds for Rank-1 Modal Logics

11 years 11 months ago
PSPACE Bounds for Rank-1 Modal Logics
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descriptors: F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic—Modal Logic; Computational Logic; F.2.2. [Analysis of Algorithms and Problem Complexity]: Nonnumerical Algorithms and Problems—Complexity of Proof Procedures General Terms: Algorithms, Languages, Theory Additional Key Words and Phrases: Shallow models, resolution, coalgebra
Lutz Schröder, Dirk Pattinson
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where LICS
Authors Lutz Schröder, Dirk Pattinson
Comments (0)
books