Pages that link to "Item:Q809068"

The following pages link to An essay in combinatory dynamic logic (Q809068):

Displaying 43 items.

• The Fitch-Church paradox and first order modal logic (Q320315) (← links)
• A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
• 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)
• Model checking for hybrid logic (Q1047796) (← 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)
• Birkhoff style calculi for hybrid logics (Q1682285) (← links)
• ``That will do'': logics of deontic necessity and sufficiency (Q1706805) (← links)
• Hybrid languages (Q1909610) (← links)
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
• Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
• Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← 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)
• Clausal Tableaux for Hybrid PDL (Q2825411) (← links)
• Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems (Q2867948) (← links)
• A PDL APPROACH FOR QUALITATIVE VELOCITY (Q3005946) (← links)
• Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics (Q3010369) (← links)
• Model Checking Strategic Equilibria (Q3614880) (← links)
• PDL with intersection of programs: a complete axiomatization (Q3643256) (← links)
• Logical Interpolation and Projection onto State in the Duration Calculus (Q3643270) (← links)
• PDL with negation of atomic programs (Q3647227) (← 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)
• A simple tableau system for the logic of elsewhere (Q4645235) (← links)
• A Hybrid Public Announcement Logic with Distributed Knowledge (Q4917078) (← links)
• (Q4994195) (← links)
• (Q5015273) (← links)
• Encoding hybridized institutions into first-order logic (Q5741578) (← links)
• OBLIGATION AS WEAKEST PERMISSION: A STRONGLY COMPLETE AXIOMATIZATION (Q5741618) (← links)
• A Qualitative Theory of Cognitive Attitudes and their Change (Q6063857) (← links)