Pages that link to "Item:Q705532"
From MaRDI portal
The following pages link to A Sahlqvist theorem for distributive modal logic (Q705532):
Displaying 50 items.
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Q404568) (← links)
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- Algorithmic correspondence for intuitionistic modal mu-calculus (Q483295) (← links)
- Modes of adjointness (Q484110) (← links)
- Canonical extensions and canonicity via dcpo presentations (Q541219) (← links)
- A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras (Q554439) (← links)
- Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
- Duality and canonical extensions for stably compact spaces (Q649839) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- Ockham's razor and reasoning about information flow (Q833039) (← links)
- Generalized Kripke frames (Q863180) (← links)
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations (Q863916) (← links)
- On the canonicity of Sahlqvist identities (Q1338478) (← links)
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- A Sahlqvist theorem for relevant modal logics (Q1810815) (← links)
- \(\Delta_1\)-completions of a poset. (Q1943702) (← links)
- Canonical extensions: an algebraic approach to Stone duality (Q1991594) (← links)
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Extending maps to profinite completions in finitely generated quasivarieties (Q2204385) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Duality for double quasioperator algebras via their canonical extensions (Q2454636) (← links)
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system (Q2462669) (← links)
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators (Q2469035) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Complete congruences on topologies and down-set lattices (Q2642570) (← links)
- Boolean topological distributive lattices and canonical extensions (Q2643609) (← links)
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras (Q2695343) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information (Q2805170) (← links)
- A Note on ‘Distributive Terms, Truth, and<i>The Port Royal Logic</i>’ (Q2963984) (← links)
- Sahlqvist theory for impossible worlds (Q2983397) (← links)
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
- Learning in a Changing World, an Algebraic Modal Logical Approach (Q3067471) (← links)
- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic (Q3601808) (← links)
- A Duality for Algebras of Lattice-Valued Modal Logic (Q3638290) (← links)
- (Q4625704) (← links)
- A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC (Q4928772) (← links)
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION (Q4933590) (← links)
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ (Q5027233) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
- (Q5419870) (← links)
- (Q5472326) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
- Jónsson-style canonicity in distributive modal <i>µ</i>-calculus (Q6111079) (← links)
