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