Modality, bisimulation and interpolation in infinitary logic

DOI10.1016/S0168-0072(98)00029-3zbMath0923.03048OpenAlexW2133505614MaRDI QIDQ1295444

J. F. A. K. van Benthem

Publication date: 24 June 1999

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(98)00029-3

zbMATH Keywords

interpolationmodal logicsequent calculusbisimulationinfinitary logiclabeled transition systemscomputational process theoriesmodel-theoretic invariance properties

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Other infinitary logic (03C75) Abstract model theory (03C95)

Related Items

Representing any-time and program-iteration by infinitary conjunction ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY ⋮ Inference Rules in Multi-agents’ Temporal Logics ⋮ Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\) ⋮ Modelling simultaneous games in dynamic logic ⋮ Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The variety of consequence, according to Bolzano
• Modal languages and bounded fragments of predicate logic
• Program constructions that are safe for bisimulation
• On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic