Modality, bisimulation and interpolation in infinitary logic
type: Item
instance of: scholarly article
title: Modality, bisimulation and interpolation in infinitary logic
zbMATH Open document ID: 0923.03048
DOI: 10.1016/S0168-0072(98)00029-3
published in: Annals of Pure and Applied Logic
publication date: 1999-06-24T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03C75
Mathematics Subject Classification ID: 03C95
zbMATH DE Number: 1308115
zbMATH Keywords: interpolation
zbMATH Keywords: sequent calculus
zbMATH Keywords: labeled transition systems
zbMATH Keywords: modal logic
zbMATH Keywords: bisimulation
zbMATH Keywords: computational process theories
zbMATH Keywords: model-theoretic invariance properties
zbMATH Keywords: infinitary logic
author: Johan van Benthem
MaRDI profile type: Publication
cites work: Modal languages and bounded fragments of predicate logic
cites work: Q4717366
cites work: Q4065514
cites work: The variety of consequence, according to Bolzano
cites work: Q3122692
cites work: Q5687548
cites work: On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
cites work: Program constructions that are safe for bisimulation
full work available at URL: s0168-0072(98)00029-3
OpenAlex ID: W2133505614
description: scientific article; zbMATH DE number 1308115