Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms

DOI10.1007/978-3-540-72734-7_34zbMath1132.03324OpenAlexW1552051868MaRDI QIDQ5434528

Vladimir Vladimirovich Rybakov

Publication date: 4 January 2008

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72734-7_34

zbMATH Keywords

temporal logiclinear temporal logicadmissible inference rulesbranching time logic

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (5)

Unnamed Item ⋮ Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition ⋮ Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL ⋮ Linear temporal logic with until and next, logical consecutions ⋮ Inference Rules in Multi-agents’ Temporal Logics

This page was built for publication: Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms