Expressivity of Many-Valued Modal Logics, Coalgebraically

DOI10.1007/978-3-662-52921-8_8zbMath1478.03033OpenAlexW2503467744MaRDI QIDQ2820688

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) Categorical logic, topoi (03G30) Many-valued logic (03B50)

Related Items

A Lindström theorem in many-valued modal logic over a finite MTL-chain ⋮ Unnamed Item ⋮ Expressivity in chain-based modal logics ⋮ Toward a general frame semantics for modal many-valued logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modalities in the Stone age: a comparison of coalgebraic logics
• Expressive logics for coalgebras via terminal sequence induction
• Stone coalgebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Metamathematics of fuzzy logic
• Expressivity of coalgebraic modal logic: the limits and beyond
• Many-Valued Relation Lifting and Moss’ Coalgebraic Logic
• Completeness for the coalgebraic cover modality
• Coalgebraic Simulations and Congruences
• Exemplaric Expressivity of Modal Logics
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• A theorem about infinite-valued sentential logic