Publication:4736875
From MaRDI portal
zbMath1054.03504MaRDI QIDQ4736875
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2285/22850608.htm
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
Related Items
Complexity of Two-Variable Logic on Finite Trees, Complexity of hybrid logics over transitive frames, On the complexity of the two-variable guarded fragment with transitive guards, On the freeze quantifier in Constraint LTL: Decidability and complexity, The guarded fragment with transitive guards