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

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

Authors: Zhenhua Duan, Cong Tian 

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 procedurepropositional projection temporal logicBüchi accepting condition

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 (16)

• Translating Xd-C programs to MSVL programs
• Model checking of pushdown systems for projection temporal logic
• Satisfiability of linear time mu-calculus on finite traces
• A decision procedure for propositional projection temporal logic with infinite models
• 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
• An 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)