Preservation of expressive completeness in temporal models

DOI10.1016/0890-5401(87)90051-4zbMath0621.03008OpenAlexW1983745898MaRDI QIDQ1090324

Dov M. Gabbay, Amihood Amir

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

expressive completenesstense logictruth tablelexicographic product of time modelsm-dimensional connectivestemporal propositional calculus

Mathematics Subject Classification ID

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

Related Items (3)

Finite \(H\)-dimension does not imply expressive completeness ⋮ SnS can be modally characterized ⋮ Definability with bounded number of bound variables

Cites Work

• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Unnamed Item
• Unnamed Item
• Unnamed Item

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