First order common knowledge logics

DOI10.1023/A:1005271815356MaRDI QIDQ1582313zbMATH OpenFDO

Authors F. Wolter

Publication date 3 October 2000

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

Nash equilibriumepistemic logicaxiomatizabilitycommon knowledge logics

Mathematics Subject Classification ID

Noncooperative games (91A10) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• Common knowledge and quantification
• scientific article; zbMATH DE number 1453145
• La connaissance commune en logique modale
• On the logic of common belief and common knowledge
• The proof theory of common knowledge

Cited in

(13)

• scientific article; zbMATH DE number 1759387 (Why is no real title available?)
• Epistemic monadic Boolean algebras
• scientific article; zbMATH DE number 7117799 (Why is no real title available?)
• A logical framework for convention
• Small infinitary epistemic logics
• Reasoning about knowledge and conditional probability
• First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
• Beyond knowing that: a new generation of epistemic logics
• Temporal Minimal-World Query Answering over Sparse ABoxes
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• Common Knowledge Semantics of Armstrong’s Axioms
• An epistemic probabilistic logic with conditional probabilities
• Decision procedures for quantified fragments of reflexive common knowledge logic

This page was built for publication: First order common knowledge logics

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