scientific article; zbMATH DE number 1989660

MaRDI QIDQ4430407zbMATH OpenFDO

Authors Carsten Lutz, Ulrike Sattler

Publication date 9 October 2003

zbMATH Keywords

Boolean modal logicscomplexity of reasoningnegation

Mathematics Subject Classification ID

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

Recommendations

• On the complexity of fragments of modal logics
• scientific article; zbMATH DE number 218546
• The complexity of poor man's logic
• The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
• scientific article; zbMATH DE number 1500520

Cited in

(21)

• Reasoning about cooperation, actions and preferences
• The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
• Adding the power-set to description logics
• A system of relational syllogistic incorporating full Boolean reasoning
• On the complexity of graded modal logics with converse
• Existential second-order logic and modal logic with quantified accessibility relations
• Two-Variable Separation Logic and Its Inner Circle
• Reasoning about joint action and coalitional ability in \(K _{n }\) with intersection
• Monadic \(\Sigma^{1}_{1}\) and modal logic with quantified binary relations
• Logics for two fragments beyond the syllogistic boundary
• scientific article; zbMATH DE number 1088193 (Why is no real title available?)
• Modal logics for reasoning about infinite unions and intersections of binary relations
• scientific article; zbMATH DE number 218546 (Why is no real title available?)
• The fluted fragment revisited
• Embedding coalition logic in the minimal normal multimodal logic with intersection
• Using tableau to decide description logics with full role negation and identity
• A description logic based situation calculus
• A Qualitative Theory of Cognitive Attitudes and their Change
• Automata-based axiom pinpointing
• Encapsulating deontic and branching time specifications
• Notes on logics of metric spaces

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4430407)