Monodic epistemic predicate logic

DOI10.1007/3-540-40006-0_23MaRDI QIDQ4536335zbMATH OpenFDO

Authors Holger Sturm, F. Wolter, Michael Zakharyaschev

Publication date 25 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-40006-0_23

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Common knowledge and quantification
• scientific article; zbMATH DE number 1859179
• First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
• First order common knowledge logics
• Common belief in monotonic epistemic logic

Cited in

(12)

• The monodic fragment of propositional term modal logic
• Decision procedures for quantified fragments of reflexive common knowledge logic
• First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
• Beyond knowing that: a new generation of epistemic logics
• scientific article; zbMATH DE number 5139605 (Why is no real title available?)
• A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
• First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
• scientific article; zbMATH DE number 35415 (Why is no real title available?)
• scientific article; zbMATH DE number 2015293 (Why is no real title available?)
• scientific article; zbMATH DE number 5180952 (Why is no real title available?)
• First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems

This page was built for publication: Monodic epistemic predicate logic

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