Filters
Expressivity of Many-Valued Modal Logics, Coalgebraically
expressivity of many-valued modal logics which we consider as coalgebraic languages interpreted over set-coalgebras with many-valued valuations. The languages are based expressivity of boolean co...
BA - Obecná matematika
- 2016 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On Lukasiewicz's Four-Valued Modal Logic.
Lukasiewicz's four-valued modal logic is surveyed and analyzed, together with Lukasiewicz's motivations to develop it. A faithful interpretation of it in classical (non-modal) two-valued logic is ...
BA - Obecná matematika
- 2002 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Neighborhood semantics for modal many-valued logics
The majority of works on modal many-valued logics consider Kripke-style explores a more general semantical picture, namely a many-valued version the completeness theorem of the classical modal...
Pure mathematics
- 2018 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Lukasiewicz logics and logical paradoxes
The description od many-valued Lukasiewicz logic is presented. It is shown its importance for modal logics. We show that some logical paradoxes of classical logic can be solvable in the L...
BA - Obecná matematika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Axiomatizing logics of fuzzy preferences using graded modalities
The aim of this paper is to propose a many-valued modal framework to formalize al.'s classical modal logics for preferences. To do so, we start from Bou et al.'s minimal modal logic over ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Toward a general frame semantics for modal many-valued logics
such frame). We export this approach from the classical paradigm to modal many-valued logics by defining general A-frames over a given residuated lattice AA (i.e completeness theorems for all modal
Pure mathematics
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences
and define a logic to reason about fuzzy preferences, generalising to the many-valued case a basic preference modal logic considered by van Benthem et al.In a previous paper by Bou et al., the minimal
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Advances in Modal Logic, Volume 15
. Topics in this issue include epistemic modal logic, constructive and many-valued, among many others. Contemporary research in modal logic draws on techniques from in Modal ...
Pure mathematics
- 2024 •
- O •
- Link
Rok uplatnění
O - Ostatní výsledky
Výsledek na webu
A Many-valued Modal Logic.
Annotation not available...
BD - Teorie informace
- 1996 •
- D
Rok uplatnění
D - Stať ve sborníku
EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes
The logic BN4 was defined by RT Brady as a four-valued extension of Routley and Meyer’s basic logic B. The system EF4 is defined as a companion to BN4 to represent the four-valued system of (relevant) implication. ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 out of 149 082