Pages that link to "Item:Q1258296"
From MaRDI portal
The following pages link to Propositional dynamic logic of regular programs (Q1258296):
Displayed 50 items.
- EXPtime tableaux for ALC (Q1589576) (← links)
- On the completeness of propositional Hoare logic (Q1602554) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- About cut elimination for logics of common knowledge (Q1772772) (← links)
- A linear-time model-checking algorithm for the alternation-free modal mu- calculus (Q1801498) (← links)
- The price of universality (Q1815426) (← links)
- Domino-tiling games (Q1822501) (← links)
- Deterministic propositional dynamic logic: finite models, complexity, and completeness (Q1839245) (← links)
- Combining deduction and model checking into tableaux and algorithms for converse-PDL. (Q1854371) (← links)
- Module checking (Q1854407) (← links)
- Tarskian set constraints (Q1854523) (← links)
- On the structural simplicity of machines and languages (Q1924785) (← links)
- Answering regular path queries in expressive description logics via alternating tree-automata (Q2252521) (← links)
- Decision procedures and expressiveness in the temporal logic of branching time (Q2265816) (← links)
- On qualitative route descriptions. Representation, agent models, and computational complexity (Q2341261) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
- On the universal and existential fragments of the \(\mu\)-calculus (Q2368950) (← links)
- Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability (Q2376368) (← links)
- Symbolic model checking for channel-based component connectors (Q2389338) (← links)
- A family of dynamic description logics for representing and reasoning about actions (Q2392414) (← links)
- Path constraints in semistructured data (Q2456353) (← links)
- Reasoning on UML class diagrams (Q2457652) (← links)
- A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647) (← links)
- A sequent calculus for logic of knowledge and past time: completeness and decidability (Q2471643) (← links)
- The complexity of finite model reasoning in description logics (Q2486582) (← links)
- Model checking propositional dynamic logic with all extras (Q2494725) (← links)
- On complexity of verification of interacting agents' behavior (Q2498917) (← links)
- Characterizing EF and EX tree logics (Q2503041) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- A propositional logic of Boolean recursive programs in which predicate variables appear in conditions (Q2639846) (← links)
- Mechanizing common knowledge logic using COQ (Q2643149) (← links)
- Propositional dynamic logic with recursive programs (Q2643333) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- Exponential-Size Model Property for PDL with Separating Parallel Composition (Q2946330) (← links)
- The Modal μ-Calculus Caught Off Guard (Q3010366) (← links)
- Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics (Q3010369) (← links)
- Constructive Formalization of Hybrid Logic with Eventualities (Q3100197) (← links)
- MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS (Q3112579) (← links)
- Complexity analysis of propositional concurrent programs using domino tiling (Q3142002) (← links)
- REASONING ABOUT TRANSFINITE SEQUENCES (Q3426789) (← links)
- Computation Tree Regular Logic for Genetic Regulatory Networks (Q3540063) (← links)
- The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions (Q3584967) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- Game Quantification Patterns (Q3601804) (← links)
- PDL with intersection and converse: satisfiability and infinite-state model checking (Q3616354) (← links)
- Description Logics (Q3638996) (← links)
- Logical Foundations of XML and XQuery (Q3638998) (← links)
- PDL with intersection of programs: a complete axiomatization (Q3643256) (← links)