Pages that link to "Item:Q801682"
From MaRDI portal
The following pages link to The propositional dynamic logic of deterministic, well-structured programs (Q801682):
Displaying 16 items.
- Extracting unsatisfiable cores for LTL via temporal resolution (Q266863) (← links)
- Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- A multiprocess network logic with temporal and spatial modalities (Q1058846) (← links)
- Belief, awareness, and limited reasoning (Q1096610) (← links)
- A decision procedure for combinations of propositional temporal logic and other specialized theories (Q1097264) (← links)
- Succinct representation of regular sets using gotos and Boolean variables (Q1101207) (← links)
- The complexity of reasoning about knowledge and time. I: Lower bounds (Q1119565) (← links)
- The complexity of propositional linear temporal logics in simple cases (Q1854521) (← links)
- Mechanizing common knowledge logic using COQ (Q2643149) (← links)
- MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS (Q3112579) (← links)
- Frame Theory, Dependence Logic and Strategies (Q3455191) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- Classifying the computational complexity of problems (Q3781088) (← links)
- On proving properties of completion strategies (Q5055777) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)
