scientific article; zbMATH DE number 1841824
From MaRDI portal
Publication:4783312
zbMath0999.03020MaRDI QIDQ4783312
Ulrike Sattler, Carsten Lutz, Frank Wolter
Publication date: 4 December 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420247
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (12)
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction ⋮ On the succinctness of some modal logics ⋮ Unnamed Item ⋮ A description logic based situation calculus ⋮ Separation logics and modalities: a survey ⋮ Foundations of instance level updates in expressive description logics ⋮ Reasoning about cooperation, actions and preferences ⋮ SGGS decision procedures ⋮ Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary Relations ⋮ Regular Graphs and the Spectra of Two-Variable Logic with Counting ⋮ First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries ⋮ Existential second-order logic and modal logic with quantified accessibility relations
This page was built for publication: