Game Semantics for Vague Quantification

被引：0
|
作者：
Fermueller, Christian G. [1 ]
机构：
[1] Vienna Univ Technol, Vienna, Austria
来源：
LOGICA YEARBOOK 2015 | 2016年
关键词：
quantifiers; game semantics; vagueness; fuzzy logic;
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
We survey some ideas for generalizing Hintikka's semantic game for classical logic as well as Giles's game for Lukasiewicz logic to model quantification over vague predicates and with vague quantifiers. Randomized choices of admissible precisifications as well as of witnessing constants emerge as a versatile tool for modeling relevant aspects of vagueness.
引用
收藏
页码：71 / 86
页数：16
相关论文
共 50 条
  • [31] Game Semantics for Quantum Stores
    Delbecque, Yannick
    Panagaden, Prakash
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 218 (153-170) : 153 - 170
  • [32] A game semantics of the asynchronous π-calculus
    Laird, J
    CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS, 2005, 3653 : 51 - 65
  • [33] Game semantics & abstract machines
    Danos, V
    Herbelin, H
    Regnier, L
    11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 394 - 405
  • [34] A game semantics for generic polymorphism
    Abramsky, S
    Jagadeesan, R
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2003, 2620 : 1 - 22
  • [35] GAME-THEORETICAL SEMANTICS
    SAARINEN, E
    MONIST, 1977, 60 (03): : 406 - 418
  • [36] Game Semantics for Quantum Programming
    Clairambault, Pierre
    De Visme, Marc
    Winskel, Glynn
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
  • [37] Algorithmic Nominal Game Semantics
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    PROGRAMMING LANGUAGES AND SYSTEMS, 2011, 6602 : 419 - +
  • [38] Algorithmic probabilistic game semantics
    Kiefer, Stefan
    Murawski, Andrzej S.
    Ouaknine, Joel
    Wachter, Bjoern
    Worrell, James
    FORMAL METHODS IN SYSTEM DESIGN, 2013, 43 (02) : 285 - 312
  • [39] Operational Algorithmic Game Semantics
    Bunting, Benedict
    Murawski, Andrzej S.
    2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
  • [40] Game Semantics for Nominal Exceptions
    Murawski, Andrzej S.
    Tzevelekos, Nikos
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2014, 8412 : 164 - 179
12345