Generalized Kripke frames
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 437427 (Why is no real title available?)
- scientific article; zbMATH DE number 1249514 (Why is no real title available?)
- scientific article; zbMATH DE number 1500671 (Why is no real title available?)
- scientific article; zbMATH DE number 1406808 (Why is no real title available?)
- A Sahlqvist theorem for distributive modal logic
- Bounded lattice expansions
- Canonical extensions and relational completeness of some substructural logics
- Categorial characterization of the MacNeille completion
- Four-valued logic
- Information Flow
- MacNeille completions and canonical extensions
- Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
- Unities and negation: On the representation of finite lattices
Cited in
(43)- Categories of algebraic contexts equivalent to idempotent semirings and domain semirings
- Changing a Semantics: Opportunism or Courage?
- Canonical extensions and ultraproducts of polarities
- TiRS graphs and TiRS frames: a new setting for duals of canonical extensions
- From pair points to pairs of models
- Choice-free topological duality for implicative lattices and Heyting algebras
- Canonical extensions and relational representations of lattices with negation
- Lattice logic as a fragment of (2-sorted) residuated modal logic
- General frames for relevant modal logics
- Canonical extensions of lattices are more than perfect
- Relational semantics for full linear logic
- Canonical extensions and Kripke-Galois semantics for non-distributive logics
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
- Toward an epistemic-logical theory of categorization
- B-frame duality
- A relational semantics for the logic of bounded lattices
- Definable operators on stable set lattices
- Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
- Sahlqvist via translation
- Categories: how I learned to stop worrying and love two sorts
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
- Countably many weakenings of Belnap-Dunn logic
- Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
- Duality results for (co)residuated lattices
- Complete abstractions and subclassical modal logics
- The distributivity on bi-approximation semantics
- Duality for normal lattice expansions and sorted residuated frames with relations
- A spectral-style duality for distributive posets
- A Sahlqvist theorem for substructural logic
- Modal translation of substructural logics
- scientific article; zbMATH DE number 935035 (Why is no real title available?)
- \(\Delta_1\)-completions of a poset.
- Esakia duality and its extensions
- Symmetric categorial grammar
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Duality and canonical extensions for stably compact spaces
- Canonical extensions of locally compact frames
- Coalgebraic completeness-via-canonicity for distributive substructural logics
- Topological duality and algebraic completions
- Distributive residuated frames and generalized bunched implication algebras
- Residuated frames with applications to decidability
- Generalised \(\mathbf{BK}\)-frames
- Algorithmic correspondence and canonicity for non-distributive logics
This page was built for publication: Generalized Kripke frames
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q863180)