Pages that link to "Item:Q5402573"
From MaRDI portal
The following pages link to A practical decision method for propositional dynamic logic (Preliminary Report) (Q5402573):
Displaying 30 items.
- Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137) (← links)
- Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity (Q526730) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Decidability of finite probabilistic propositional dynamic logics (Q809069) (← links)
- Before and after vacuity (Q1028732) (← links)
- A near-optimal method for reasoning about action (Q1134756) (← links)
- An elementary proof of the completeness of PDL (Q1147690) (← links)
- Application of modal logic to programming (Q1150592) (← links)
- A complete logic for reasoning about programs via nonstandard model theory. I (Q1159460) (← links)
- Specifications, models, and implementations of data abstractions (Q1161277) (← links)
- Process logic: Expressiveness, decidability, completeness (Q1168965) (← links)
- Propositional dynamic logic of regular programs (Q1258296) (← links)
- The saturated tableaux for linear miniscope Horn-like temporal logic (Q1344880) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Propositional dynamic logic for concurrent programs (Q1837178) (← links)
- The theory of functional and subset dependencies over relational expressions (Q1837548) (← links)
- Combining deduction and model checking into tableaux and algorithms for converse-PDL. (Q1854371) (← links)
- Decision procedures and expressiveness in the temporal logic of branching time (Q2265816) (← links)
- A family of dynamic description logics for representing and reasoning about actions (Q2392414) (← links)
- Generalized Satisfiability for the Description Logic $\mathcal{ALC}$ (Q3010434) (← links)
- Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles (Q3457707) (← links)
- A Tableaux System for Deontic Action Logic (Q3522041) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- A theory of data dependencies over relational expressions (Q3670613) (← links)
- Modelling phenomena and dynamic logic of phenomena (Q4583147) (← links)
- Modal logic for modelling actions and agents (Q4632321) (← links)
- Tableaux and algorithms for Propositional Dynamic Logic with Converse (Q4647551) (← links)
- Finite sequent calculi for PLTL (Q5040746) (← links)
- A Formal Language for Electronic Contracts (Q5428911) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)
