An axiomatization of ECTL

DOI10.1093/LOGCOM/EXT005MaRDI QIDQ5406125zbMATH OpenOpenAlexFDO

Authors Ryo Kashima

Publication date 1 April 2014

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/ext005

zbMATH Keywords

completenessfinite modelHilbert-style axiomatizationtemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• An axiomatization of PCTL*
• Axioms in the variety of eO-algebras
• An axiomatic semantics for Esterel
• Axiomatizing AECs and applications
• Semantics and proof theory of the epsilon calculus
• Axiomatising extended computation tree logic
• Axiomatising extended computation tree logic
• Two Proof-Theoretic Remarks on EA + ECT
• An algebraic axiomatization of the Ewald's intuitionistic tense logic
• Axiomatizing schemes and their behaviors

Cited in

(3)

• Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models
• Axiomatizing Extended Temporal Logic Fragments Via Instantiation
• One-pass Context-based Tableaux Systems for CTL and ECTL

Describes a project that uses

Uses Software

• TTM

This page was built for publication: An axiomatization of ECTL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5406125)