Preservation of expressive completeness in temporal models

DOI10.1016/0890-5401(87)90051-4MaRDI QIDQ1090324zbMATH OpenOpenAlexFDO

Authors Amihood Amir, Dov Gabbay

Publication date 1987

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0890-5401(87)90051-4

zbMATH Keywords

tense logictruth tableexpressive completenesslexicographic product of time modelsm-dimensional connectivestemporal propositional calculus

Mathematics Subject Classification ID

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

Recommendations

• Separation in nonlinear time models
• Expressive completeness of temporal logic of trees
• Expressiveness of Metric modalities for continuous time
• scientific article; zbMATH DE number 757647
• scientific article; zbMATH DE number 747023

Cites work

• scientific article; zbMATH DE number 3827831 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3263218 (Why is no real title available?)
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics

Cited in

(5)

• Finite \(H\)-dimension does not imply expressive completeness
• Definability with bounded number of bound variables
• Separation in nonlinear time models
• SnS can be modally characterized
• scientific article; zbMATH DE number 1536553 (Why is no real title available?)

This page was built for publication: Preservation of expressive completeness in temporal models

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