Pages that link to "Item:Q1258296"
From MaRDI portal
The following pages link to Propositional dynamic logic of regular programs (Q1258296):
Displayed 23 items.
- A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time (Q3643267) (← links)
- Complexity of intuitionistic propositional logic and its fragments (Q3643316) (← links)
- THE COMPLEXITY OF SATISFIABILITY FOR FRAGMENTS OF CTL AND CTL⋆ (Q3646173) (← links)
- A first step towardsmodeling semistructured data in hybrid multimodal logic (Q3647216) (← links)
- PDL for ordered trees (Q3647225) (← links)
- PDL with negation of atomic programs (Q3647227) (← links)
- KAT-ML: an interactive theorem prover for Kleene algebra with tests (Q3647254) (← links)
- Classifying the computational complexity of problems (Q3781088) (← links)
- Semantics of looping programs in Propositional Dynamic Logic (Q3960666) (← links)
- What is an inference rule? (Q4032879) (← links)
- Complete Axiomatization of a Relative Modal Logic with Composition and Intersection (Q4236070) (← links)
- On the Decision Problem for Two-Variable First-Order Logic (Q4338040) (← links)
- A new proof of completeness for a relative modal logic with composition and intersection (Q4443008) (← links)
- Formal verification of multi-agent systems behaviour emerging from cognitive task analysis (Q4467046) (← links)
- Complexity of interpolation and related problems in positive calculi (Q4532622) (← links)
- (Q4668854) (← links)
- A multi-dimensional terminological knowledge representation language (Q4868227) (← links)
- Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski (Q4953222) (← links)
- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (Q5191118) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)
- Propositional Dynamic Logic for Message-Passing Systems (Q5458843) (← links)
- 2-Exp Time lower bounds for propositional dynamic logics with intersection (Q5486241) (← links)
- Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764) (← links)