Transformation of any Verbrugge model to a bisimilar Veltman model
Abstract Veltman semantics is the basic Kripke-like semantics for interpretability logic. Verbrugge semantics is a generalization of Veltman semantics. An appropriate notion of bisimulation between a Verbrugge model and a Veltman model is developed in this paper. We show that each Verbrugge model can be transformed to a bisimilar Veltman model.
Authors
- Tin Perkov (ORCID: https://orcid.org/0000-0001-8916-0489)
Institutions
- University of Zagreb (HR)
Publication Details
- Journal
- Mathematical Structures in Computer Science
- Published
- 2025-01-01
- DOI
- https://doi.org/10.1017/s096012952500012x
- Primary Topic
- Logic, Reasoning, and Knowledge
- Type
- article
- Field-Weighted Citation Impact
- 0.00