Computer Science Logic
From MaRDI portal
Publication:5311264
DOI10.1007/b100120zbMath1095.68055MaRDI QIDQ5311264
Publication date: 22 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100120
Related Items
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations, Temporal BI: proof system, semantics and translations, Internal axioms for domain semirings, Constructive linear-time temporal logic: proof systems and Kripke semantics, Bounded linear-time temporal logic: a proof-theoretic investigation, Combining linear-time temporal logic with constructiveness and paraconsistency, LTL is closed under topological closure, Modal Semirings Revisited, Automated Compositional Reasoning of Intuitionistically Closed Regular Properties