The axiomatization of propositional linear time temporal logic
From MaRDI portal
Cited in
(22)- A propositional linear time logic with time flow isomorphic to ^2
- The temporal logic of linear time frames with inductions axiom
- Propositional linear temporal logic with initial validity semantics
- Partial cut elimination for propositional discrete linear time temporal logic
- The derivations of temporal logic formulas
- The properties of sets of temporal logic subformulas
- Weak completeness theorem for propositional linear time temporal logic
- Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior
- A Paraconsistent Linear-time Temporal Logic
- From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
- scientific article; zbMATH DE number 4170873 (Why is no real title available?)
- scientific article; zbMATH DE number 1950255 (Why is no real title available?)
- scientific article; zbMATH DE number 6863639 (Why is no real title available?)
- scientific article; zbMATH DE number 6174011 (Why is no real title available?)
- scientific article; zbMATH DE number 5790393 (Why is no real title available?)
- scientific article; zbMATH DE number 6423748 (Why is no real title available?)
- Cyclic Proofs for Linear Temporal Logic
- Algebraic Methodology and Software Technology
- scientific article; zbMATH DE number 5270677 (Why is no real title available?)
- An algebraic study of tense logics with linear time
- Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics
- A complete axiom system for propositional projection temporal logic with cylinder computation model
This page was built for publication: The axiomatization of propositional linear time temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2865739)
