Pages that link to "Item:Q809068"
From MaRDI portal
The following pages link to An essay in combinatory dynamic logic (Q809068):
Displayed 21 items.
- An essay in combinatory dynamic logic (Q809068) (← links)
- On the undecidability of logics with converse, nominals, recursion and counting (Q814615) (← links)
- Arthur Prior and hybrid logic (Q857663) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Notes on logics of metric spaces (Q878157) (← links)
- Determinism and looping in combinatory PDL (Q921968) (← links)
- The many faces of counts-as: A formal analysis of constitutive rules (Q931777) (← links)
- Infinitary propositional normal modal logic (Q1102267) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Modal logic with names (Q1310624) (← links)
- A modal perspective on the computational complexity of attribute value grammar (Q1314274) (← links)
- Repairing the interpolation theorem in quantified modal logic (Q1412840) (← links)
- Remarks on Gregory's ``actually'' operator (Q1610620) (← links)
- Hybrid languages (Q1909610) (← links)
- Understanding the Brandenburger-Keisler paradox (Q2464651) (← links)
- Model checking hybrid logics (with an application to semistructured data) (Q2506828) (← links)
- Hybrid logics: characterization, interpolation and complexity (Q2758042) (← links)
- Model Checking Strategic Equilibria (Q3614880) (← links)
- Complete Axiomatization of a Relative Modal Logic with Composition and Intersection (Q4236070) (← links)
- Temporal Logics with Reference Pointers and Computation Tree Logics (Q4443400) (← links)
- Hyperboolean Algebras and Hyperboolean Modal Logic (Q4531582) (← links)