From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
From MaRDI portal
Publication:3442402
DOI10.1093/jigpal/jzl035zbMath1124.03005OpenAlexW2000471424MaRDI QIDQ3442402
Alberto Zanardo, Valentin F. Goranko
Publication date: 18 May 2007
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://philarchive.org/rec/GORFLT
Related Items (4)
On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators ⋮ Unnamed Item ⋮ Analyzing completeness of axiomatic functional systems for temporal × modal logics ⋮ Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models
This page was built for publication: From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
