Bisimulations for temporal logic

DOI10.1023/A:1008223921944zbMath0882.03017MaRDI QIDQ1371312

Natasha Kurtonina, Maarten de Rijke

Publication date: 7 January 1998

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

model theorybisimulationsdefinabilityexpressive powertemporal logic with Since and Until

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (max. 100)

To drive or not to drive: a logical and computational analysis of European transport regulations ⋮ Geometric Model Checking of Continuous Space ⋮ Model theory of XPath on data trees. II: Binary bisimulation and definability ⋮ Logic of visibility in social networks ⋮ Back-and-forth in space: on logics and bisimilarity in closure spaces ⋮ A history based logic for dynamic preference updates ⋮ Characterization, definability and separation via saturated models ⋮ Analysing Spatial Properties on Neighbourhood Spaces ⋮ A ModalWalk Through Space ⋮ Temporal Here and There ⋮ On Characterization, Definability and ω-Saturated Models ⋮ Expressiveness of concept expressions in first-order description logics

This page was built for publication: Bisimulations for temporal logic