A practical decision method for propositional dynamic logic (preliminary report)
From MaRDI portal
Recommendations
- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability
- scientific article; zbMATH DE number 3848600
- An on-the-fly tableau-based decision procedure for PDL-satisfiability
- The propositional dynamic logic of deterministic, well-structured programs
- Foundations of Software Science and Computation Structures
Cited in
(48)- Generalized satisfiability for the description logic \(\mathcal{ALC}\)
- Checking consistency of an ABox w.r.t. global assumptions in PDL
- An elementary proof of the completeness of PDL
- Tableaux and algorithms for Propositional Dynamic Logic with Converse
- Application of modal logic to programming
- Specifications, models, and implementations of data abstractions
- Satisfiability and completeness of converse-PDL replayed
- Temporal stream logic modulo theories
- scientific article; zbMATH DE number 4045721 (Why is no real title available?)
- scientific article; zbMATH DE number 4008371 (Why is no real title available?)
- An on-the-fly tableau-based decision procedure for PDL-satisfiability
- Modal logic for modelling actions and agents
- Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
- Tableaux methods for propositional dynamic logics with separating parallel composition
- Dynamic logic of propositional assignments: a well-behaved variant of PDL
- Propositional dynamic logic of regular programs
- On models for propositional dynamic logic
- Decidability of finite probabilistic propositional dynamic logics
- scientific article; zbMATH DE number 3848600 (Why is no real title available?)
- A theory of data dependencies over relational expressions
- A parametrized propositional dynamic logic with application to service synthesis
- A Formal Language for Electronic Contracts
- EXPtime tableaux for ALC
- Before and after vacuity
- Finite sequent calculi for PLTL
- The theory of functional and subset dependencies over relational expressions
- Ockhamist propositional dynamic logic: a natural link between PDL and CTL*
- A description logic based situation calculus
- Inquisitive propositional dynamic logic
- Generalized satisfiability for the description logic \(\mathcal{ALC}\) (extended abstract)
- Modelling phenomena and dynamic logic of phenomena
- Combining deduction and model checking into tableaux and algorithms for converse-PDL.
- A complete logic for reasoning about programs via nonstandard model theory. I
- From Monadic Logic to PSL
- A Tableaux System for Deontic Action Logic
- From Philosophical to Industrial Logics
- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability
- scientific article; zbMATH DE number 3912350 (Why is no real title available?)
- Decision procedures and expressiveness in the temporal logic of branching time
- Process logic: Expressiveness, decidability, completeness
- A goal-directed decision procedure for hybrid PDL
- The saturated tableaux for linear miniscope Horn-like temporal logic
- A family of dynamic description logics for representing and reasoning about actions
- Tableaux for single-agent epistemic PDL with perfect recall and no miracles
- A near-optimal method for reasoning about action
- scientific article; zbMATH DE number 1696844 (Why is no real title available?)
- Propositional dynamic logic for concurrent programs
- Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity
This page was built for publication: A practical decision method for propositional dynamic logic (preliminary report)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5402573)