The following pages link to (Q3128959):
Displayed 50 items.
- Intermediate logics and Visser's rules (Q558441) (← links)
- General frames for relevant modal logics (Q558732) (← links)
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← links)
- An intriguing logic with two implicational connectives (Q698537) (← links)
- Kripke completeness of infinitary predicate multimodal logics (Q701294) (← links)
- A coalgebraic view on positive modal logic (Q703528) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Conditional excluded middle in systems of consequential implication (Q815021) (← links)
- Profinite completions and canonical extensions of Heyting algebras (Q862977) (← links)
- Complexity of admissible rules (Q868660) (← links)
- Connectionist modal logic: representing modalities in neural networks (Q870254) (← links)
- Modal logics of some geometrical structures (Q927480) (← links)
- Free equivalential algebras (Q952484) (← links)
- Optimization techniques for propositional intuitionistic logic and their implementation (Q959821) (← links)
- Completeness and definability in the logic of noncontingency (Q1347608) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Complexity of some problems in positive and related calculi (Q1401362) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The modal logic of agreement and noncontingency (Q1430999) (← links)
- Possible-worlds semantics for modal notions conceived as predicates (Q1810820) (← links)
- Three dual ontologies (Q1868336) (← links)
- An algebraic approach to subframe logics. Intuitionistic case (Q2370373) (← links)
- Line-based affine reasoning in Euclidean plane (Q2372194) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system (Q2462669) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Connectionist computations of intuitionistic reasoning (Q2503271) (← links)
- Frege systems for extensible modal logics (Q2503409) (← links)
- All intermediate logics with extra axioms in one variable, except eight, are not strongly <i>ω</i>-complete (Q2710597) (← links)
- Fibring: completeness preservation (Q2732291) (← links)
- Explicit Provability and Constructive Semantics (Q2732527) (← links)
- Quasi-Modal Equivalence of Canonical Structures (Q2747700) (← links)
- Decidable fragments of first-order modal logics (Q2758067) (← links)
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables (Q3370616) (← links)
- Linear Kripke frames and Gödel logics (Q3426561) (← links)
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics (Q3605532) (← links)
- The modal logic of affine planes is not finitely axiomatisable (Q3617371) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
- Unification and Passive Inference Rules for Modal Logics (Q4443406) (← links)
- On modal logics between<b>K × K × K</b>and<b>S5 × S5 × S5</b> (Q4532612) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
- The modal logic of forcing (Q5437615) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)
- Logical consecutions in discrete linear temporal logic (Q5486245) (← links)
- A logic for metric and topology (Q5718689) (← links)
- Products of ‘transitive” modal logics (Q5718700) (← links)
- Modal logics that need very large frames (Q5937849) (← links)