Lattices of finitely alternative normal tense logics

DOI10.1007/s11225-021-09942-5OpenAlexW3138172327MaRDI QIDQ2062217

Minghui Ma, Qi'an Chen

Publication date: 27 December 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-021-09942-5

zbMATH Keywords

finite model propertyfinite axiomatizabilitynormal tense logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Finite model property in weakly transitive tense logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the lattice of extensions of the modal logics \(KAlt_ n\)
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Even more about the lattice of tense logics
• Tools and techniques in modal logic
• On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II
• The finite model property in tense logic
• Semantic analysis of tense logics

This page was built for publication: Lattices of finitely alternative normal tense logics