scientific article; zbMATH DE number 2086420
From MaRDI portal
Publication:4736875
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (5)
Complexity of Two-Variable Logic on Finite Trees ⋮ The guarded fragment with transitive guards ⋮ On the complexity of the two-variable guarded fragment with transitive guards ⋮ On the freeze quantifier in Constraint LTL: Decidability and complexity ⋮ Complexity of hybrid logics over transitive frames
This page was built for publication:
