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)

Full work available at URL https://doi.org/10.1023/A:1005271815356

zbMATH Keywords

axiomatizabilitycommon knowledge logicsepistemic logicNash equilibrium

Mathematics Subject Classification ID

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

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

(17)

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

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)