A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
From MaRDI portal
Publication:2904627
DOI10.2168/LMCS-8(3:10)2012zbMath1256.03023arXiv1207.3816WikidataQ114005218 ScholiaQ114005218MaRDI QIDQ2904627
Publication date: 15 August 2012
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1207.3816
axiom systemcompositionalityinterval temporal logicomega-regular languagesaxiomatic completenessomega-regular logics
Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)
Related Items (8)
Symbolic Model Checking for Alternating Projection Temporal Logic ⋮ An application of temporal projection to interleaving concurrency ⋮ Catoids and modal convolution algebras ⋮ A sound and complete proof system for a unified temporal logic ⋮ \( \ell r\)-multisemigroups, modal quantales and the origin of locality ⋮ Interconnections between classes of sequentially compositional temporal formulas ⋮ A decision procedure and complete axiomatization for projection temporal logic ⋮ Compositional reasoning using intervals and time reversal
Uses Software
This page was built for publication: A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
