Filters
On a Graded Modal Logic Approach to Reason with Fuzzy Preferences
then semantically define and axiomatize a two-tiered graded modal logic to reason about a notion of fuzzy preferences.In this paper we first consider the problem of extending a fuzzy preference r...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
A Modal Account of Preference in a Fuzzy Setting
then semantically define and axiomatize several two-tiered graded modal logics to reason about the corresponding different notions of fuzzy preferences. This paper is our humble contribution) preferen...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- C •
- Link
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Axiomatizing logics of fuzzy preferences using graded modalities
al.'s classical modal logics for preferences. To do so, we start from Bou et al.'s minimal modal logic over a finite and linearly ordered residuated lattice. We □ and ◇ of the minimal modal l...
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
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
Ordinary Modalities
Ordinary modalities are mostly not logical modalities. Two such modalities are defined: empirical necessity and empirical posibility....
AA - Filosofie a náboženství
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Translating Classical Probability Logics into Modal Fuzzy Logics
This paper is a contribution to the study of two distinct kinds of modal logics for modeling uncertainty. Both approaches use logics with a two-layered syntax, but while translations into, respectively, th...
Pure mathematics
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
This paper is a contribution to the study of two distinct kinds of logics for modelling uncertainty. Both approaches use logics with a two-layered modal syntax of two-layered modal lo...
Applied mathematics
- 2020 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
Modal logics with two syntactical layers (both governed by classical logic) have been proposed as logics of uncertainty following Hamblin's seminal idea of reading the modal operator P(A) as 'prob...
BA - Obecná matematika
- 2014 •
- 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 presented...
BA - Obecná matematika
- 2002 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Uniform interpolation and propositional quantifiers in modal logics
We investigate uniform interpolants in propositional modal logic from the proof-theoretical point of view. We present a constructive proof of uniform interpolation for modal logics K and T providing an explicite al...
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 180 896