<div class="csl-bib-body">
<div class="csl-entry">Fermüller, C. G., & Hofer, M. (2017). Hintikka Style Game Rules for Semi-Fuzzy Quantifiers. In <i>2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL 2017), Novi Sad, Serbia, May 22-24, 2017</i>. IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) 2017, Novi Sad, Serbia. IEEE. https://doi.org/10.1109/ISMVL.2017.57</div>
</div>
The final publication is available via <a href="https://doi.org/10.1109/ISMVL.2017.57" target="_blank">https://doi.org/10.1109/ISMVL.2017.57</a>.
-
dc.description.abstract
Extending Hintikka’s game for the evaluation of classical formulas, we explore the realm of quantifier rules that can be defined by combining several moves consisting of choices by the two strategic players, but also by a third non-strategic player ‘Nature’, representing random choices. The simple format of Hintikka-style games is compared to the seemingly much more general one of Giles’s game for Łukasiewicz logic.
en
dc.description.sponsorship
Austrian Science Funds (FWF)
-
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
game semantics
en
dc.subject
Hintikka
en
dc.subject
semi-fuzzy quantifiers
en
dc.title
Hintikka Style Game Rules for Semi-Fuzzy Quantifiers
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.relation.isbn
9781509054961
-
dc.relation.doi
10.1109/ISMVL39638.2017
-
dc.relation.grantno
I1897-N25
-
dc.rights.holder
2017 IEEE
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL 2017), Novi Sad, Serbia, May 22-24, 2017
-
tuw.peerreviewed
true
-
tuw.relation.publisher
IEEE
-
tuw.version
am
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publisher.doi
10.1109/ISMVL.2017.57
-
dc.identifier.libraryid
AC15058950
-
dc.description.numberOfPages
7
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:3-3471
-
tuw.author.orcid
0000-0003-2932-5477
-
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
tuw.event.name
IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) 2017
