First order common knowledge logics
From MaRDI portal
Publication:1582313
DOI10.1023/A:1005271815356zbMath0963.03024MaRDI QIDQ1582313
Publication date: 3 October 2000
Published in: Studia Logica (Search for Journal in Brave)
Noncooperative games (91A10) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (7)
Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Temporal Minimal-World Query Answering over Sparse ABoxes ⋮ Reasoning about knowledge and conditional probability ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ An epistemic probabilistic logic with conditional probabilities ⋮ First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment ⋮ A logical framework for convention
This page was built for publication: First order common knowledge logics