The following pages link to Modal logic with names (Q1310624):
Displaying 50 items.
- Completeness in hybrid type theory (Q484101) (← links)
- Arthur Prior and `now' (Q516423) (← links)
- Reichenbach, Prior and hybrid tense logic (Q516424) (← links)
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
- On the undecidability of logics with converse, nominals, recursion and counting (Q814615) (← links)
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Notes on logics of metric spaces (Q878157) (← links)
- The many faces of counts-as: A formal analysis of constitutive rules (Q931777) (← links)
- Temporal reference in linear tense logic (Q965860) (← links)
- A dynamic-epistemic hybrid logic for intentions and information changes in strategic games (Q970089) (← links)
- Modal languages for topology: expressivity and definability (Q1023054) (← links)
- Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
- Hybrid logics of separation axioms (Q1047799) (← links)
- Combinations of tense and modality for predicate logic (Q1303794) (← links)
- A modal perspective on the computational complexity of attribute value grammar (Q1314274) (← links)
- Remarks on Gregory's ``actually'' operator (Q1610620) (← links)
- Propositional \(\text Q\)-logic (Q1863958) (← links)
- Hybrid languages (Q1909610) (← links)
- Towards reasoning about Hoare relations (Q1924753) (← links)
- An axiomatisation of a pure calculus of names (Q1928489) (← links)
- Global view on reactivity: switch graphs and their logics (Q1935598) (← links)
- The monodic fragment of propositional term modal logic (Q2001365) (← links)
- Many-sorted hybrid modal languages (Q2035658) (← links)
- Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Exorcising the phantom zone (Q2672660) (← links)
- Hybrid logics: characterization, interpolation and complexity (Q2758042) (← links)
- Characterizing Relative Frame Definability in Team Semantics via the Universal Modality (Q2820709) (← links)
- A Hybridization of Irreflexive Modal Logics (Q2867951) (← links)
- Simple cut elimination proof for hybrid logic (Q2987759) (← links)
- Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics (Q3010369) (← links)
- Algebraic Semantics for Hybrid Logics (Q3298278) (← links)
- Interpolation for extended modal languages (Q3370762) (← links)
- Henkin and Hybrid Logic (Q3454819) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries (Q3647300) (← links)
- Temporal Logics with Reference Pointers and Computation Tree Logics (Q4443400) (← links)
- Inequality without irreflexivity (Q4443418) (← links)
- Hyperboolean Algebras and Hyperboolean Modal Logic (Q4531582) (← links)
- A simple tableau system for the logic of elsewhere (Q4645235) (← links)
- Axiomatizing Hybrid Products of Monotone Neighborhood Frames (Q4917079) (← links)
- Terminating Tableau Calculi for Hybrid Logics Extending K (Q4982112) (← links)
- Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA (Q4982120) (← links)
- Hybrid Tableaux for the Difference Modality (Q4982124) (← links)
- (Q4994195) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
