Many-valued coalgebraic logic over semi-primal varieties

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Natural duality, modality, and coalgebra
Propositional dynamic logic for searching games with errors
Expressive logics for coalgebras via terminal sequence induction
Presenting functors on many-sorted varieties and applications
Coalgebraic semantics of modal logics: an overview
Stone coalgebras
A coalgebraic view on positive modal logic
Standard Gödel modal logics
From the subalgebras of the square to the discriminator
Lukasiewicz-Moisil algebras
Discriminator varieties and symbolic computation
Boolean powers
Coalgebraic logic
Universal coalgebra: A theory of systems
Expressivity in chain-based modal logics
Semisimplicity, EDPC and discriminator varieties of residuated lattices
Algebraic foundations of many-valued reasoning
Duality between modal algebras and neighbourhood frames
Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
Axiomatizing logics of fuzzy preferences using graded modalities
Extending maps to profinite completions in finitely generated quasivarieties
MiniBrass: soft constraints for MiniZinc
Neighborhood semantics for modal logic
Expressivity of coalgebraic modal logic: the limits and beyond
Semi-primal algebras; characterization and normal-decomposition
Stone duality for primal algebra theory
The ternary discriminator function in universal algebra
On the topological duality for primal algebra theory
Semi-categorical algebras. I: Semi-primal algebras
Semi-categorial algebras. II
Generalized ``Boolean theory of universal algebras. I. Subdirect sums and normal representation theorem
Generalized ``Boolean theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras
Expressivity of Many-Valued Modal Logics, Coalgebraically
Algebraic semantics for coalgebraic logics
Relation lifting, with an application to the many-valued cover modality
Strongly complete logics for coalgebras
Modal extensions of Łukasiewicz logic for modelling coalitional power
Four-valued modal logic: Kripke semantics and duality
On modal extensions of Product fuzzy logic
Exemplaric Expressivity of Modal Logics
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
Neighbourhood Structures: Bisimilarity and Basic Model Theory
Coalgebraic Modal Logic Beyond Sets
CONCUR 2004 - Concurrency Theory
Foundations of Software Science and Computational Structures
Foundations of Software Science and Computation Structures
Natural dualities for varieties of MV-algebras. I
New perspectives on semi-primal varieties
Many-valued coalgebraic modal logic: one-step completeness and finite model property
Many-valued coalgebraic logic: from Boolean algebras to primal varieties

This page was built for publication: Many-valued coalgebraic logic over semi-primal varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6597956)