The following pages link to The modal logic of inequality (Q4032643):
Displaying 47 items.
- Existential second-order logic and modal logic with quantified accessibility relations (Q259071) (← links)
- Completeness in hybrid type theory (Q484101) (← links)
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Intuitionistic logic and modality via topology (Q598307) (← links)
- Interpolation properties in the extensions of the logic of inequality (Q606045) (← links)
- Simple weakly transitive modal algebras (Q619324) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← 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)
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness (Q861518) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Notes on logics of metric spaces (Q878157) (← links)
- Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Modal logic with names (Q1310624) (← links)
- Generalized quantifiers and modal logic (Q1314283) (← links)
- Reasoning about update logic (Q1344850) (← links)
- Two-sorted metric temporal logics (Q1391098) (← links)
- Propositional \(\text Q\)-logic (Q1863958) (← links)
- Dynamic squares (Q1902558) (← links)
- Hybrid languages (Q1909610) (← links)
- Towards reasoning about Hoare relations (Q1924753) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- A logical study of group-size based social network creation (Q2423774) (← links)
- Characterization, definability and separation via saturated models (Q2453534) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- An Epistemic Logic with Hypotheses (Q3094014) (← links)
- On Characterization, Definability and ω-Saturated Models (Q3105745) (← links)
- Constructive interpolation in hybrid logic (Q3160549) (← links)
- Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary R (Q3185766) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- PDL with intersection of programs: a complete axiomatization (Q3643256) (← links)
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries (Q3647300) (← links)
- Axiomatizing Distance Logics (Q3647302) (← links)
- The Modal Multilogic of Geometry (Q4236068) (← links)
- Hyperboolean Algebras and Hyperboolean Modal Logic (Q4531582) (← links)
- Temporal logic and its application to normative reasoning (Q4583324) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Geometrical structures and modal logic (Q4632288) (← links)
- A simple tableau system for the logic of elsewhere (Q4645235) (← links)
- Hybrid Tableaux for the Difference Modality (Q4982124) (← links)
- Completeness results for two-sorted metric temporal logics (Q5096398) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)
- Modal logics that need very large frames (Q5937849) (← links)
- First-order expressivity for S5-models: Modal vs. two-sorted languages (Q5960012) (← links)
- To be announced (Q6040661) (← links)
