Pages that link to "Item:Q1258296"
From MaRDI portal
The following pages link to Propositional dynamic logic of regular programs (Q1258296):
Displayed 50 items.
- Reasoning about common knowledge with infinitely many agents (Q598197) (← links)
- Games for the \(\mu\)-calculus (Q671352) (← links)
- Logical analysis of demonic nondeterministic programs (Q671651) (← links)
- The expressive power of implicit specifications (Q685409) (← links)
- Gentzen-type axiomatization for PAL (Q688720) (← links)
- Propositional dynamic logic of nonregular programs (Q792083) (← links)
- A probabilistic dynamic logic (Q792757) (← links)
- The propositional dynamic logic of deterministic, well-structured programs (Q801682) (← links)
- Results on the propositional \(\mu\)-calculus (Q801893) (← links)
- Undecidability of PDL with \(L=\{a^{2^ i}| i\geq 0\}\) (Q801901) (← links)
- Decidability of finite probabilistic propositional dynamic logics (Q809069) (← links)
- Branching versus linear logics yet again (Q911747) (← links)
- A uniform method for proving lower bounds on the computational complexity of logical theories (Q917543) (← links)
- Determinism and looping in combinatory PDL (Q921968) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- Local variable scoping and Kleene algebra with tests (Q929964) (← links)
- Cut-free sequent systems for temporal logic (Q941433) (← links)
- Canonical completeness of infinitary \(\mu \) (Q941442) (← links)
- A note on an extension of PDL (Q959057) (← links)
- On the proof theory of the modal mu-calculus (Q1005937) (← links)
- On combinations of propositional dynamic logic and doxastic modal logics (Q1006486) (← links)
- Polyadic dynamic logics for HPSG parsing (Q1016030) (← links)
- A multiprocess network logic with temporal and spatial modalities (Q1058846) (← links)
- Process logic with regular formulas (Q1062047) (← links)
- Propositional dynamic logic with local assignments (Q1062972) (← links)
- A probabilistic PDL (Q1063584) (← links)
- PDL with data constants (Q1065545) (← links)
- The semantics of Hoare's iteration rule (Q1078551) (← links)
- A logic to reason about likelihood (Q1090326) (← links)
- Automata-theoretic techniques for modal logics of programs (Q1090675) (← links)
- Concurrent program schemes and their logics (Q1094866) (← links)
- Communication in concurrent dynamic logic (Q1095653) (← links)
- Interpreting logics of knowledge in propositional dynamic logic (Q1096609) (← links)
- Succinct representation of regular sets using gotos and Boolean variables (Q1101207) (← links)
- Alternating multihead finite automata (Q1116353) (← links)
- A finite model theorem for the propositional \(\mu\)-calculus (Q1117213) (← links)
- An arithmetical hierarchy in propositional dynamic logic (Q1119628) (← links)
- An automata theoretic decision procedure for the propositional mu- calculus (Q1119630) (← links)
- An elementary proof of the completeness of PDL (Q1147690) (← links)
- Propositional dynamic logic is weaker without tests (Q1156482) (← links)
- Process logic: Expressiveness, decidability, completeness (Q1168965) (← links)
- On the computational complexity of satisfiability in propositional logics of programs (Q1170028) (← links)
- TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
- On models for propositional dynamic logic (Q1183594) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- A model checker for linear time temporal logic (Q1192606) (← links)
- A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
- Getting started: Beginnings in the logic of action (Q1207426) (← links)
- Dynamic linear time temporal logic (Q1295431) (← links)
- Computation paths logic: An expressive, yet elementary, process logic (Q1295436) (← links)