scientific article; zbMATH DE number 4181308

MaRDI QIDQ3204443zbMATH OpenFDO

Authors Moshe Y. Vardi

Publication date 1989

zbMATH Keywords

complexity of the decision problem for epistemic logics based on Montague and Scott's semanticsknowledgeNPPSPACE

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other nonclassical logic (03B60) Complexity of computation (including implicit computational complexity) (03D15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• A guide to completeness and complexity for modal logics of knowledge and belief
• Efficient reasoning in multiagent epistemic logics
• Some computational constraints in epistemic logic
• Epistemic logic and logical omniscience: A survey
• The Dynamics of Syntactic Knowledge

Cited in

(29)

• A guide to completeness and complexity for modal logics of knowledge and belief
• Reaching agreements through argumentation: a logical model and implementation
• A non-minimal but very weak axiomatization of common belief
• Belief closure: A semantics of common knowledge for modal propositional logic
• Epistemic properties of knowledge hierarchies
• A new epistemic characterization of \(\varepsilon\)-proper rationalizability
• Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism
• Tractable reasoning using logic programs with intensional concepts
• NP reasoning in the monotone \(\mu\)-calculus
• Complexity of the universal theory of modal algebras
• SAT-based explicit LTL reasoning and its application to satisfiability checking
• Some computational constraints in epistemic logic
• Revisiting Epistemic Specifications
• An epistemic logic with hypotheses
• The Dynamics of Syntactic Knowledge
• Efficient reasoning in multiagent epistemic logics
• scientific article; zbMATH DE number 1755761 (Why is no real title available?)
• Situated Modeling of Epistemic Puzzles
• Exploring the tractability border in epistemic tasks
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• scientific article; zbMATH DE number 2236617 (Why is no real title available?)
• Orthopartitions and possibility distributions
• CoNP complexity for combinations of non-normal modal logics
• Resolution calculi for non-normal modal logics
• Non-normal Modal description logics
• On the finite model property of non-normal modal logics
• Coalgebraic satisfiability checking for arithmetic -calculi
• Monotone modal logic beyond distributivity
• An internal version of epistemic logic

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 Q3204443)