Epistemic Logics of Structured Intensional Groups

DOI10.4204/eptcs.379.11arXiv2307.05056OpenAlexW4383618531MaRDI QIDQ6199602

Marta Bílková, Igor Sedlár

Publication date: 28 February 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2307.05056

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Programming simultaneous actions using common knowledge
• Dynamic algebras: Examples, constructions, applications
• Propositional epistemic logics with quantification over agents of knowledge
• Naming and identity in epistemic logic. II: A first-order logic for naming
• Propositional modal logic with implicit modal quantification
• Neighborhood semantics for modal logic
• Bisimulation for Neighbourhood Structures
• Naming and Identity in Epistemic Logics Part I: The Propositional Case
• When Names Are Not Commonly Known: Epistemic Logic with Assignments
• EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
• Term-modal logics

This page was built for publication: Epistemic Logics of Structured Intensional Groups