A practical decision procedure for propositional projection temporal logic with infinite models

DOI10.1016/J.TCS.2014.02.011zbMATH Open1358.68188OpenAlexW2020639449MaRDI QIDQ744099FDOQ744099

Cong Tian, Zhenhua Duan

Publication date: 6 October 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2014.02.011

Recommendations

• A decision procedure for propositional projection temporal logic with infinite models
• Decidability of Propositional Projection Temporal Logic with Infinite Models
• Efficient decision procedure for propositional projection temporal logic
• An efficient decision procedure for propositional projection temporal logic
• scientific article; zbMATH DE number 3974944

zbMATH Keywords

algorithmautomatadecision procedure[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=B%EF%BF%BD%EF%BF%BDchi+accepting+condition&go=Go B��chi accepting condition]propositional projection temporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A decision procedure for propositional projection temporal logic with infinite models
• The Büchi Complementation Saga

Cited In (15)

• Translating Xd-C programs to MSVL programs
• Model checking of pushdown systems for projection temporal logic
• A decision procedure for propositional projection temporal logic with infinite models
• Satisfiability of Linear Time Mu-Calculus on Finite Traces
• A canonical form based decision procedure and model checking approach for propositional projection temporal logic
• A complete axiom system for propositional projection temporal logic with cylinder computation model
• A decision procedure and complete axiomatization for projection temporal logic
• Model Checking MSVL Programs Based on Dynamic Symbolic Execution
• A temporal logic programming approach to planning
• 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
• Model checking Petri nets with MSVL
• Decidability of Propositional Projection Temporal Logic with Infinite Models
• Verifying a scheduling protocol of safety-critical systems

This page was built for publication: A practical decision procedure for propositional projection temporal logic with infinite models

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