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

DOI10.1017/JSL.2022.74MaRDI QIDQ6103448zbMATH OpenOpenAlexFDO

Authors

Publication date 5 June 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

metric spacedynamic epistemic logicmodal logicgeneral topologyKripke modelmodel transformation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Abstract: This report introduces and investigates a family of metrics on sets of pointed Kripke models. The metrics are generalizations of the Hamming distance applicable to countably infinite binary strings and, by extension, logical theories or semantic structures. We first study the topological properties of the resulting metric spaces. A key result provides sufficient conditions for spaces having the Stone property, i.e., being compact, totally disconnected and Hausdorff. Second, we turn to mappings, where it is shown that a widely used type of model transformations, product updates, give rise to continuous maps in the induced topology.

Recommendations

• Publication:4938638
• An algebraic generalization of Kripke structures
• Quantitative Verification of Weighted Kripke Structures
• Model theory for metric structures
• scientific article; zbMATH DE number 2087436
• New Computational Paradigms
• Kripke models, distributive lattices, and Medvedev degrees
• Logics of Kripke meta-models
• On dynamic topological and metric logics
• Some results on Kripke models over an arbitrary fixed frame

Cites work

• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3544865 (Why is no real title available?)
• scientific article; zbMATH DE number 1163321 (Why is no real title available?)
• scientific article; zbMATH DE number 2152683 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Common knowledge revisited
• Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic1
• Distance semantics for belief revision
• Dynamic epistemic logic
• Encyclopedia of distances
• Epistemic planning for single- and multi-agent systems
• Error detecting and error correcting codes
• Finite models constructed from canonical formulas
• Games in dynamic-epistemic logic
• Generalizing AGM to a multi-agent setting
• Handbook of modal logic
• Knowledge and common knowledge in a distributed environment
• Logical dynamics of information and interaction
• Logics for epistemic programs
• Logics of communication and change
• Modal logic
• Model transformers for dynamical systems of dynamic epistemic logic
• On Fixed and Periodic Points Under Contractive Mappings
• Operating systems. An advanced course
• Oscillations, logic, and dynamical systems
• Semantic results for ontic and epistemic change
• The Theory of Representation for Boolean Algebras
• The logic of public announcements, common knowledge, and private suspicions
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(2)

• Dynamic epistemic logics of diffusion and prediction in social networks
• Quantitative Verification of Weighted Kripke Structures

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

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