scientific article; zbMATH DE number 1989660

zbMath1031.03037MaRDI QIDQ4430407

Ulrike Sattler, Carsten Lutz

Publication date: 9 October 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

negationcomplexity of reasoningBoolean modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Complexity of computation (including implicit computational complexity) (03D15)

Related Items (17)

Notes on logics of metric spaces ⋮ A description logic based situation calculus ⋮ Modal logics for reasoning about infinite unions and intersections of binary relations ⋮ A Qualitative Theory of Cognitive Attitudes and their Change ⋮ Two-Variable Separation Logic and Its Inner Circle ⋮ Adding the power-set to description logics ⋮ Using tableau to decide description logics with full role negation and identity ⋮ A system of relational syllogistic incorporating full Boolean reasoning ⋮ Logics for Two Fragments beyond the Syllogistic Boundary ⋮ Automata-based axiom pinpointing ⋮ Encapsulating deontic and branching time specifications ⋮ THE FLUTED FRAGMENT REVISITED ⋮ Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection ⋮ Reasoning about Joint Action and Coalitional Ability in K n with Intersection ⋮ Reasoning about cooperation, actions and preferences ⋮ 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 ⋮ Existential second-order logic and modal logic with quantified accessibility relations

This page was built for publication: