METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS

DOI10.1017/jsl.2022.74arXiv1704.00977OpenAlexW2916646657MaRDI QIDQ6103448

No author found.

Publication date: 5 June 2023

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

modal logicmetric spaceKripke modelmodel transformationdynamic epistemic logicgeneral topology

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Dynamic epistemic logics of diffusion and prediction in social networks

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logics of communication and change
• Dynamic epistemic logic
• Operating systems. An advanced course
• Common knowledge revisited
• Logics for epistemic programs
• Finite models constructed from canonical formulas
• Distance semantics for belief revision
• Epistemic planning for single- and multi-agent systems
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Games in Dynamic-Epistemic Logic
• Logical Dynamics of Information and Interaction
• Model Transformers for Dynamical Systems of Dynamic Epistemic Logic
• Knowledge and common knowledge in a distributed environment
• Generalizing AGM to a multi-agent setting
• On Fixed and Periodic Points Under Contractive Mappings
• Error Detecting and Error Correcting Codes
• Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic1
• The Theory of Representation for Boolean Algebras
• Encyclopedia of Distances
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS