Relational Methods in Computer Science
From MaRDI portal
Publication:5899313
Recommendations
- Representation of lattices with modal operators in two-sorted frames
- Theory and Applications of Relational Structures as Knowledge Instruments
- scientific article; zbMATH DE number 5046779
- Modal-like operators in Boolean lattices, Galois connections and fixed points
- Stone duality for lattice expansions
Cited in
(5)- Subrecursive equivalence relations and (non-)closure under lattice operations
- Categories: how I learned to stop worrying and love two sorts
- Dual characterizations for finite lattices via correspondence theory for monotone modal logic
- Representation of lattices with modal operators in two-sorted frames
- Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
This page was built for publication: Relational Methods in Computer Science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899313)