Finite trees in tense logic

DOI10.1023/A:1026456817552MaRDI QIDQ1288959zbMATH OpenOpenAlexFDO

Authors Fabio Bellissima, Saverio Cittadini

Publication date 15 October 2001

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1026456817552

zbMATH Keywords

axiomatizatione-framesKripke modelsmaximal logicsmodal definabilitytense logicstreesUS-logics

Mathematics Subject Classification ID

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

Review text

The paper studies tense logics of finite trees. The minimal logic of this kind (denoted by \(L_1\)) is obtained from the minimal tense logic \(K_t\) by adding transitivity, Löb axioms in both directions and non-branching in the past. It is proved that for the language with \(k\) propositional variables, where \(k\) is finite, isomorphism classes of irreducible Kripke models on finite trees are definable; a Kripke model is called irreducible iff all its generated submodels are non-isomorphic. This implies that two distinguishable Kripke models on finite trees are isomorophic iff they are modally equivalent. Also it is proved that every tense logic of a finite tree has an (effective) weakly minimal finite axiomatization over \(L_1\); the weak minimality means that it uses the minimal number of variables and in \(L_1\) it implies any other axiomatization in the same variables. Another result is that the lattice of extensions of \(L_1\) has \(2^{\aleph_0}\) coatoms, as it is for extensions of \(K_t\). Finally, the paper proves that for logics of this kind adding `Until' and `Since' does not increase the expressive power: two finite trees are equivalent in tense logic iff they are equivalent in Until-Since logic.

Recommendations

• scientific article; zbMATH DE number 1222483
• EXTENDED TEMPORAL LOGICS ON FINITE TREES
• A family of temporal logics on finite trees
• Expressive completeness of temporal logic of trees
• The finite model property in tense logic
• First-order logic on finite trees
• scientific article; zbMATH DE number 759442
• Cascade Products and Temporal Logics on Finite Trees
• Linguistics, Logic and Finite Trees
• Properties of Tense Logics

Cited in

(7)

• Even more about the lattice of tense logics
• A distinguishable model theorem for the minimal \(\text{US}\)-tense logic
• Lattices of finitely alternative normal tense logics
• scientific article; zbMATH DE number 1222483 (Why is no real title available?)
• scientific article; zbMATH DE number 700344 (Why is no real title available?)
• The finite model property in tense logic
• EXTENDED TEMPORAL LOGICS ON FINITE TREES

This page was built for publication: Finite trees in tense logic

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