Expressivity of Many-Valued Modal Logics, Coalgebraically

DOI10.1007/978-3-662-52921-8_8MaRDI QIDQ2820688zbMATH OpenOpenAlexFDO

Authors Marta Bílková, Matĕj Dostál

Publication date 9 September 2016

Published in Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-52921-8_8

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Categorical logic, topoi (03G30)

Recommendations

• Expressivity of coalgebraic modal logic: the limits and beyond
• Foundations of Software Science and Computational Structures
• Coalgebras and modal expansions of logics
• Many-sorted coalgebraic modal logic: A model-theoretic study
• Coalgebraic semantics of modal logics: an overview
• On expressivity and compositionality in logics for coalgebras
• scientific article; zbMATH DE number 1497872
• Specifying coalgebras with modal logic
• scientific article; zbMATH DE number 1231627
• An expressive completeness theorem for coalgebraic modal -calculi

Cites work

• A Hennessy-Milner property for many-valued modal logics
• A theorem about infinite-valued sentential logic
• Algebraic semantics for coalgebraic logics
• Coalgebraic simulations and congruences
• Completeness for the coalgebraic cover modality
• Exemplaric Expressivity of Modal Logics
• Expressive logics for coalgebras via terminal sequence induction
• Expressivity of coalgebraic modal logic: the limits and beyond
• Expressivity results in the modal logic of coalgebras
• Many-valued relation lifting and Moss' coalgebraic logic
• Metamathematics of fuzzy logic
• Modalities in the Stone age: a comparison of coalgebraic logics
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Residuated lattices. An algebraic glimpse at substructural logics
• Stone coalgebras

Cited in

(11)

• Expressivity in chain-based modal logics
• A Lindström theorem in many-valued modal logic over a finite MTL-chain
• Toward a general frame semantics for modal many-valued logics
• Many-sorted coalgebraic modal logic: A model-theoretic study
• A Hennessy-Milner property for many-valued modal logics
• Expressive logics for coinductive predicates
• Modal equivalence and bisimilarity in many-valued modal logics with many-valued accessibility relations
• Algebra and Coalgebra in Computer Science
• Many-valued coalgebraic modal logic: one-step completeness and finite model property
• Many-valued coalgebraic logic over semi-primal varieties
• Approximate Hennessy-Milner type theorems for fuzzy multimodal logics over Heyting algebras

This page was built for publication: Expressivity of Many-Valued Modal Logics, Coalgebraically

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