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

DOI10.1017/JSL.2022.74arXiv1704.00977OpenAlexW2916646657MaRDI QIDQ6103448FDOQ6103448

Authors:

Publication date: 5 June 2023

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

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.

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

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

zbMATH Keywords

metric spacedynamic epistemic logicmodal logicgeneral topologyKripke modelmodel transformation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

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

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)