The proof theory of common knowledge

DOI10.1007/978-3-319-62864-6_18zbMATH Open1437.03070OpenAlexW2790605533MaRDI QIDQ3299587FDOQ3299587

Michel Marti, Thomas Studer

Publication date: 24 July 2020

Published in: Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-62864-6_18

Recommendations

• Cut-free common knowledge
• La connaissance commune en logique modale
• About cut elimination for logics of common knowledge
• Syntactic cut-elimination for common knowledge
• Two ways to common knowledge

zbMATH Keywords

multi-agent systemsproof theorycommon knowledgecut-eliminationinfinitary deductive systems

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Cites Work

• Borel determinacy
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automata, logics, and infinite games. A guide to current research
• Explicit provability and constructive semantics
• Agreeing to disagree
• Title not available (Why is that?)
• Proof theory. An introduction
• Title not available (Why is that?)
• Cut-free sequent systems for temporal logic
• Knowledge and common knowledge in a distributed environment
• Title not available (Why is that?)
• About cut elimination for logics of common knowledge
• Cut-free common knowledge
• Deduction chains for common knowledge
• Intuitionistic common knowledge or belief
• Deep sequent systems for modal logic
• Syntactic cut-elimination for a fragment of the modal mu-calculus
• Cut-free sequent calculi for some tense logics
• An automata theoretic decision procedure for the propositional mu- calculus
• One-Pass Tableaux for Computation Tree Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Justified common knowledge
• Justifications for common knowledge
• Two Ways to Common Knowledge
• Update as Evidence: Belief Expansion
• Title not available (Why is that?)
• Justified and Common Knowledge: Limited Conservativity
• Syntactic cut-elimination for common knowledge
• A Buchholz rule for modal fixed point logics
• Title not available (Why is that?)
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Games for the \(\mu\)-calculus
• Title not available (Why is that?)
• Continuous Fragment of the mu-Calculus
• Title not available (Why is that?)
• Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6--8, 2013. Proceedings
• Title not available (Why is that?)
• Common knowledge does not have the Beth property
• A Proof System for the Linear Time μ-Calculus
• Title not available (Why is that?)
• And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL
• Cyclic Proofs for Linear Temporal Logic
• Pairing Traditional and Generic Common Knowledge

Cited In (19)

• First order common knowledge logics
• On the Logic of Common Belief
• A map of common knowledge logics
• The generation of formulas held in common knowledge
• Geometric Rules in Infinitary Logic
• On the logic of common belief and common knowledge
• Title not available (Why is that?)
• The Ryōan-ji axiom for common knowledge on hypergraphs
• Through an Inference Rule, Darkly
• Title not available (Why is that?)
• Title not available (Why is that?)
• Common Knowledge and the Knowledge Account of Assertion
• Title not available (Why is that?)
• Logical structure of common knowledge
• Formalizing Concurrent Common Knowledge as Product of Modal Logics
• Common Knowledge Semantics of Armstrong’s Axioms
• Title not available (Why is that?)
• La connaissance commune en logique modale
• Title not available (Why is that?)

This page was built for publication: The proof theory of common knowledge

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