Products of modal logics. III. Products of modal and temporal logics

DOI10.1023/A:1021304426509zbMath1014.03023OpenAlexW1510985212MaRDI QIDQ1863827

Valentin Shehtman, Dov M. Gabbay

Publication date: 12 March 2003

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

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

zbMATH Keywords

decidabilityrelation algebrafinite model propertytemporal logicclassical first-order logicproduct of modal logicsfinite depth methodproduct finite model property

Mathematics Subject Classification ID

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

Related Items

A description logic based situation calculus ⋮ An NP-complete fragment of fibring logic ⋮ An analytic tableau calculus for a temporalised belief logic ⋮ Products of ‘transitive” modal logics ⋮ On squares of modal logics with additional connectives ⋮ Segerberg Squares of Modal Logics and Theories of Relation Algebras ⋮ On the Essential Flatness of Possible Worlds

This page was built for publication: Products of modal logics. III. Products of modal and temporal logics