Pages that link to "Item:Q1258296"
From MaRDI portal
The following pages link to Propositional dynamic logic of regular programs (Q1258296):
Displayed 50 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)
- Computation paths logic: An expressive, yet elementary, process logic (Q4571972) (← links)
- Deciding the unguarded modal -calculus (Q4583323) (← links)
- Complexity results for multi-pebble automata and their logics (Q4632417) (← links)
- Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic (Q4639929) (← links)
- Tableaux and algorithms for Propositional Dynamic Logic with Converse (Q4647551) (← 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)
- The Complexity of Satisfiability for Fragments of CTL and CTL⋆ (Q4982095) (← links)
- An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability (Q4982121) (← links)
- (Q5009419) (← links)
- (Q5009450) (← links)
- (Q5013887) (← links)
- (Q5014445) (← links)
- (Q5015273) (← links)
- Nested Regular Expressions Can Be Compiled to Small Deterministic Nested Word Automata (Q5042238) (← links)
- On proving properties of completion strategies (Q5055777) (← links)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
- A separation theorem for discrete-time interval temporal logic (Q5074367) (← links)
- Branching-time logics and fairness, revisited (Q5084315) (← links)
- Propositional Dynamic Logic for Hyperproperties (Q5089318) (← links)
- (Q5091278) (← links)
- A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms (Q5098752) (← links)
- Towards Metric Temporal Answer Set Programming (Q5140014) (← links)
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities (Q5164168) (← links)
- Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014) (← links)
- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (Q5191118) (← links)
- Alternating automata: Unifying truth and validity checking for temporal logics (Q5234701) (← links)
- The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes (Q5277914) (← links)
- Parametrised Complexity of Satisfiability in Temporal Logic (Q5278205) (← 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)
- An operational domain-theoretic treatment of recursive types (Q5740347) (← links)
- Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764) (← links)