Fermüller, C. (2022, November 10). Finite model theory for many-valued logics - Some challenges and open problems [Conference Presentation]. Finite Model Theory and Many-Valued Logic: Challenges and Interactions, Australia.
Finite Model Theory and Many-Valued Logic: Challenges and Interactions
en
Event date:
10-Nov-2022 - 12-Nov-2022
-
Event place:
Australia
-
Keywords:
finite model theory; many-valued logics
en
Abstract:
Instead of discussing a particular result, we will present a list of open problems, but also of more fundamental conceptual challenges for many-valued FMT. The list amounts to a personal take on the field, rather than an overview that covers all relevant topics. In particular, we look for research questions where many-valued logics may have to offer new perspectives that are intrinsic to reasoning with graded propositions and predicates over finite models.