The following pages link to (Q3128959):
Displaying 50 items.
- On Sahlqvist formulas in relevant logic (Q1670491) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- Locally tabular \(\neq \) locally finite (Q1682298) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Strong decidability and strong recognizability (Q1703280) (← links)
- Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
- On the modal logic of the non-orthogonality relation between quantum states (Q1711507) (← links)
- Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems (Q1712550) (← links)
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
- On modal logics arising from scattered locally compact Hausdorff spaces (Q1731840) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Propositional epistemic logics with quantification over agents of knowledge (Q1743999) (← links)
- Kripke-type semantics for \(\mathrm{CG}_3'\) (Q1744430) (← links)
- Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces (Q1751496) (← links)
- More on \(d\)-logics of subspaces of the rational numbers (Q1762355) (← links)
- Stable formulas in intuitionistic logic (Q1782236) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Characterizing right inverses for spatial constraint systems with applications to modal logic (Q1786563) (← links)
- Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
- Characterizing finite-valuedness (Q1795205) (← links)
- Possible-worlds semantics for modal notions conceived as predicates (Q1810820) (← links)
- Three dual ontologies (Q1868336) (← links)
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) (Q1959329) (← links)
- Expressing discrete spatial relations under granularity (Q1979964) (← links)
- Intuitionism and the modal logic of vagueness (Q1986078) (← links)
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- The complexity of identifying characteristic formulae (Q1987735) (← links)
- Projective algebras and primitive subquasivarieties in varieties with factor congruences (Q1991598) (← links)
- Rules with parameters in modal logic. II. (Q2004954) (← links)
- Irreducible equivalence relations, Gleason spaces, and de Vries duality (Q2014017) (← links)
- Computability issues for adaptive logics in multi-consequence standard format (Q2016057) (← links)
- Extensions of Priest-da Costa logic (Q2016069) (← links)
- A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
- A general framework for FDE-based modal logics (Q2027214) (← links)
- Computational complexity for bounded distributive lattices with negation (Q2032990) (← links)
- Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic (Q2035639) (← links)
- Reasoning about distributed information with infinitely many agents (Q2043805) (← links)
- Efficient SAT-based proof search in intuitionistic propositional logic (Q2055856) (← links)
- Transitive logics of finite width with respect to proper-successor-equivalence (Q2062190) (← links)
- Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) (Q2074812) (← links)
- On independent axiomatizability of quasi-normal modal logics (Q2082254) (← links)
- Modal companions of \(K4^+\) (Q2082262) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- On the proof complexity of logics of bounded branching (Q2084964) (← links)
- SAT-based proof search in intermediate propositional logics (Q2104497) (← links)
- Paraconsistent Gödel modal logic (Q2104534) (← links)
- On Kripke completeness of modal predicate logics around quantified \textbf{K5} (Q2105091) (← links)
- On the proof theory of infinitary modal logic (Q2106873) (← links)
- Poset products as relational models (Q2115284) (← links)
- On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)
