scientific article; zbMATH DE number 1759387

zbMath0998.03011MaRDI QIDQ4536335

Frank Wolter, Holger Sturm, Michael Zakharyashchev

Publication date: 25 June 2002

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

Mathematics Subject Classification ID

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

Related Items (5)

Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ The monodic fragment of propositional term modal logic ⋮ 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

This page was built for publication: