Propositional temporal logics: decidability and completeness

completeness axiomatic system past operators propositional temporal logic tableau-based decision procedure deductive proof system specification and verification of reactive systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Cited In (51)

Gödel-Dummett linear temporal logic
Title not available (Why is that?)
Title not available (Why is that?)
Temporal Assertions with Parametrized Propositions
Probabilistic temporal logic with countably additive semantics
A general tableau method for propositional interval temporal logics: theory and implementation
Exploring the Jungle of Intuitionistic Temporal Logics
Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions
A survey on temporal logics for specifying and verifying real-time systems
Rules admissible in transitive temporal logic $\mathrm{T}_{\mathrm{S}4}$, sufficient condition
Branching Time? Pruning Time!
Dynamic topological logic of metric spaces
Title not available (Why is that?)
Temporal Verification of Fault-Tolerant Protocols
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
One-pass and tree-shaped tableau systems for TPTL and $\mathrm{TPTL_b+Past}$
Compositional reasoning using intervals and time reversal
Cut-free sequent systems for temporal logic
SAT meets tableaux for linear temporal logic satisfiability
Title not available (Why is that?)
A sound and complete axiomatization for dynamic topological logic
COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
A decision procedure for propositional projection temporal logic with infinite models
Partial cut elimination for propositional discrete linear time temporal logic
Branching time logics $\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }$ with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms
Non-finite axiomatizability of dynamic topological logic
A propositional probabilistic logic with discrete linear time for reasoning about evidence
Completeness of a branching-time logic with possible choices
Definability and decidability of binary predicates for time granularity
A complete axiom system for propositional projection temporal logic with cylinder computation model
Finite-trace linear temporal logic: coinductive completeness
Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
Non-deterministic semantics for dynamic topological logic
Invariant-free clausal temporal resolution
The intuitionistic temporal logic of dynamical systems
A goal-directed decision procedure for hybrid PDL
Interval vs. Point Temporal Logic Model Checking
A decision procedure and complete axiomatization for projection temporal logic
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
Dual systems of tableaux and sequents for PLTL
Model Theoretic Syntax and Parsing
Efficient decision procedure for propositional projection temporal logic
Completeness and decidability of tense logics closely related to logics above K4
Title not available (Why is that?)
Decidable temporal and sequential relevant logics*
Probabilistic Temporal Logics
Title not available (Why is that?)
Title not available (Why is that?)
Linear-time temporal logics with Presburger constraints: an overview ★
Tangled modal logic for topological dynamics

This page was built for publication: Propositional temporal logics: decidability and completeness

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