Generalized Kripke frames
From MaRDI portal
Recommendations
Cites work
- 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
- 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?)
- 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
(49)- Canonical extensions and relational representations of lattices with negation
- Canonical extensions and Kripke-Galois semantics for non-distributive logics
- Distributive residuated frames and generalized bunched implication algebras
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Canonical extensions and ultraproducts of polarities
- _1-completions of a poset.
- Definable operators on stable set lattices
- Canonical extensions of lattices are more than perfect
- Algorithmic correspondence and canonicity for non-distributive logics
- Countably many weakenings of Belnap-Dunn logic
- Canonical extensions of locally compact frames
- Coalgebraic completeness-via-canonicity for distributive substructural logics
- Duality results for (co)residuated lattices
- Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
- Duality for normal lattice expansions and sorted residuated frames with relations
- B-frame duality
- Relational semantics for full linear logic
- Categories: how I learned to stop worrying and love two sorts
- From pair points to pairs of models
- Categories of algebraic contexts equivalent to idempotent semirings and domain semirings
- Complete abstractions and subclassical modal logics
- The distributivity on bi-approximation semantics
- Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
- Toward an epistemic-logical theory of categorization
- Changing a Semantics: Opportunism or Courage?
- Sahlqvist via translation
- scientific article; zbMATH DE number 935035 (Why is no real title available?)
- Residuated frames with applications to decidability
- A Sahlqvist theorem for substructural logic
- TiRS graphs and TiRS frames: a new setting for duals of canonical extensions
- Modal translation of substructural logics
- A relational semantics for the logic of bounded lattices.
- Esakia duality and its extensions
- Lattice logic as a fragment of (2-sorted) residuated modal logic
- General frames for relevant modal logics
- Topological duality and algebraic completions
- Choice-free topological duality for implicative lattices and Heyting algebras
- Duality and canonical extensions for stably compact spaces
- Raney extensions: a pointfree theory of T₀ spaces based on canonical extension
- Unified inverse correspondence for LE-logics
- Choice-free dualities for lattice expansions: application to logics with a negation operator
- On the logical and algebraic aspects of reasoning with formal contexts
- Canonical extensions via fitted sublocales
- A spectral-style duality for distributive posets
- Sub-sub-intuitionistic logic
- Symmetric categorial grammar
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
- Generalised \(\mathbf{BK}\)-frames
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)
