DC Field
Value
Language
dc.contributor.author
Fermüller, Christian G.
-
dc.contributor.author
Hofer, Matthias
-
dc.date.accessioned
2020-06-27T18:19:28Z
-
dc.date.issued
2017
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Fermüller, C. G., &#38; 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>
-
dc.identifier.uri
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3471
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/891
-
dc.description
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
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
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.relation.publisher
IEEE
-
tuw.version
am
-
tuw.publication.orgunit
E192 - Institut für Logic and Computation
-
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
Urheberrechtsschutz
de
dc.rights.identifier
In Copyright
en
tuw.event.name
IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) 2017
-
tuw.event.startdate
22-05-2017
-
tuw.event.enddate
24-05-2017
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Novi Sad
-
tuw.event.country
RS
-
tuw.event.presenter
Fermüller, Christian G.
-
item.grantfulltext
open
-
item.openairetype
conference paper
-
item.fulltext
with Fulltext
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openaccessfulltext
Open Access
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E192-05 - Forschungsbereich Theory and Logic
-
crisitem.author.dept
E370-02 - Forschungsbereich Elektrische Antriebe und Maschinen
-
crisitem.author.orcid
0000-0003-2932-5477
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E370 - Institut für Energiesysteme und Elektrische Antriebe
-
Appears in Collections:
Conference Paper
Thumbnail
Hofer Matthias - 2017 - Hintikka Style Game Rules for Semi-Fuzzy Quantifiers.pdf
Adobe PDF
(282.06 kB)
Open Access
Show simple item record

Page view(s)

306
checked on Nov 21, 2023

Download(s)

277
checked on Nov 21, 2023

Google ScholarTM

Check