The following pages link to Generalized Kripke frames (Q863180):
Displaying 42 items.
- Relational semantics for full linear logic (Q280840) (← links)
- The distributivity on bi-approximation semantics (Q306839) (← links)
- TiRS graphs and TiRS frames: a new setting for duals of canonical extensions (Q494628) (← links)
- General frames for relevant modal logics (Q558732) (← links)
- Duality and canonical extensions for stably compact spaces (Q649839) (← links)
- A spectral-style duality for distributive posets (Q722594) (← links)
- Symmetric categorial grammar (Q843772) (← links)
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations (Q863916) (← links)
- Generalised \(\mathbf{BK}\)-frames (Q891993) (← links)
- Canonical extensions and relational representations of lattices with negation (Q1015482) (← links)
- Canonical extensions and Kripke-Galois semantics for non-distributive logics (Q1632052) (← links)
- Distributive residuated frames and generalized bunched implication algebras (Q1686325) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- \(\Delta_1\)-completions of a poset. (Q1943702) (← links)
- Definable operators on stable set lattices (Q2027212) (← links)
- Canonical extensions of lattices are more than perfect (Q2120439) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- Canonical extensions of locally compact frames (Q2310786) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Duality results for (co)residuated lattices (Q2418015) (← links)
- Topological duality and lattice expansions. II: Lattice expansions with quasioperators. (Q2450842) (← links)
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts (Q2677854) (← links)
- Duality for normal lattice expansions and sorted residuated frames with relations (Q2682629) (← links)
- B-frame duality (Q2689804) (← links)
- Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
- From pair points to pairs of models (Q2856087) (← links)
- Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings (Q2915144) (← links)
- Complete Abstractions and Subclassical Modal Logics (Q2961561) (← links)
- Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators (Q3305430) (← links)
- (Q3384065) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- (Q4625704) (← links)
- (Q4895423) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
- A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC (Q4928772) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- A relational semantics for the logic of bounded lattices (Q5227167) (← links)
- Easkia Duality and Its Extensions (Q5255792) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)
