Bisimulations for temporal logic

DOI10.1023/A:1008223921944MaRDI QIDQ1371312zbMATH OpenFDO

Authors Natasha Kurtonina, Maarten de Rijke

Publication date 7 January 1998

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

Full work available at URL https://doi.org/10.1023/A:1008223921944

zbMATH Keywords

bisimulationsdefinabilityexpressive powermodel theorytemporal logic with Since and Until

Mathematics Subject Classification ID

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

Recommendations

• The true bisimulations for 'since' and 'until'
• Bisimulations for intuitionistic temporal logics
• Bisimulation and logic
• The temporal logic of branching time
• scientific article; zbMATH DE number 1222559

Cited in

(22)

• Time-abstracted bisimulation: Implicit specifications and decidability
• Expressiveness of concept expressions in first-order description logics
• Branching time and orthogonal bisimulation equivalence
• A history based logic for dynamic preference updates
• Model theory of XPath on data trees. II: Binary bisimulation and definability
• Characterization, definability and separation via saturated models
• Temporal here and there
• On characterization, definability and -saturated models
• A modal walk through space
• scientific article; zbMATH DE number 1187493 (Why is no real title available?)
• The true bisimulations for 'since' and 'until'
• Bisimulations for intuitionistic temporal logics
• Geometric Model Checking of Continuous Space
• Analysing Spatial Properties on Neighbourhood Spaces
• CONCUR 2005 – Concurrency Theory
• Logic of visibility in social networks
• Back-and-forth in space: on logics and bisimilarity in closure spaces
• Visibility and exploitation in social networks
• A van Benthem theorem for atomic and molecular logics
• On bisimilarity for quasi-discrete closure spaces
• A logical formalisation of false belief tasks
• To drive or not to drive: a logical and computational analysis of European transport regulations

This page was built for publication: Bisimulations for temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1371312)