A complete proof system for propositional projection temporal logic
From MaRDI portal
Recommendations
- A sound and complete proof system for a unified temporal logic
- Complete axiomatization for projection temporal logic with finite time
- A proof system for a unified temporal logic
- A decision procedure and complete axiomatization for projection temporal logic
- Efficient decision procedure for propositional projection temporal logic
Cites work
- scientific article; zbMATH DE number 3870578 (Why is no real title available?)
- scientific article; zbMATH DE number 4170873 (Why is no real title available?)
- scientific article; zbMATH DE number 3901996 (Why is no real title available?)
- scientific article; zbMATH DE number 3928956 (Why is no real title available?)
- scientific article; zbMATH DE number 3664335 (Why is no real title available?)
- scientific article; zbMATH DE number 3757688 (Why is no real title available?)
- scientific article; zbMATH DE number 47171 (Why is no real title available?)
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- scientific article; zbMATH DE number 1927551 (Why is no real title available?)
- scientific article; zbMATH DE number 3363520 (Why is no real title available?)
- A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
- A decision procedure for propositional projection temporal logic with infinite models
- A lattice-theoretical fixpoint theorem and its applications
- Automated Theorem Proving: After 25 Years
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Framed temporal logic programming
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Operational semantics of Framed Tempura
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Temporal logic can be more expressive
Cited in
(22)- A formal proof of the deadline driven scheduler in PPTL axiomatic system
- A decision procedure for propositional projection temporal logic with infinite models
- A Complete Proof System for First-order Interval Temporal Logic with Projection
- Verifying a scheduling protocol of safety-critical systems
- Complete axiomatization for projection temporal logic with finite time
- PPTL specification mining based on LNFG
- A sound and complete proof system for a unified temporal logic
- Efficient decision procedure for propositional projection temporal logic
- Index set expressions can represent temporal logic formulas
- Compositional reasoning using intervals and time reversal
- Complete Proof System for QPTL
- Unified temporal logic
- Some fixed-point issues in PPTL
- A complete axiom system for propositional projection temporal logic with cylinder computation model
- A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
- Verifying safety critical task scheduling systems in PPTL axiom system
- scientific article; zbMATH DE number 4170873 (Why is no real title available?)
- A proof system for unified temporal logic
- A decision procedure and complete axiomatization for projection temporal logic
- A proof system for a unified temporal logic
- Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions
- A temporal programming model with atomic blocks based on projection temporal logic
This page was built for publication: A complete proof system for propositional projection temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q391223)
