<div class="csl-bib-body">
<div class="csl-entry">Fermüller, C. (2022, November 10). <i>Finite model theory for many-valued logics - Some challenges and open problems</i> [Conference Presentation]. Finite Model Theory and Many-Valued Logic: Challenges and Interactions, Australia.</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/153691
-
dc.description.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.
en
dc.language.iso
en
-
dc.subject
finite model theory
en
dc.subject
many-valued logics
en
dc.title
Finite model theory for many-valued logics - Some challenges and open problems
