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)

Review text

First-order common knowledge logics are investigated. It is shown that even rather weak fragments of these logics are not recursively axiomatizable. This applies, for example, to fragments whose first-order part is based on constant symbols and the equality symbol only. Formal properties of ``quantifying into epistemic contexts are investigated. The results are illustrated by means of epistemic representations of mixed-strategy Nash equilibria.

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)