Chris Fermüller - Selected publications on logical games
(dialogue games, semantic games, connections to proof theory)

• C. Fermüller:
  Dialogue Games for Many-Valued Logics - an Overview.
  Studia Logica 90/1 (2008): 43-68.
  Springer link
• C. Fermüller, G. Metcalfe:
  Giles's Game and the Proof Theory of Lukasiewicz Logic.
  Studia Logica 92/1 (2009): 27-61.
  Preprint version: [PDF]  
• A. Ciabattoni, C. Fermüller, G. Metcalfe:
  Uniform Rules and Dialogue Games for Fuzzy Logics.
  In: Franz Baader, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings. LNCS 3452, Springer 2005, pp. 496-510
  Preprint version: [PDF]   [PS]
  
• C. Fermüller:
  Revisiting Giles's Game - Reconciling Fuzzy Logic and Supervaluation.
  In: Games: Unifying Logic, Language, and Philosophy. Logic, Epistemology, and the Unity of Science, Vol. 15, Majer, Ondrej; Pietarinen, Ahti-Veikko; Tulenheimo, Tero (Eds.), Springer 2009, pp. 209-227
  Springer link
  Preprint version: [PDF]   [PS]
  (Abstract in: Proceedings (abstracts) of Logic, Games and Philosophy - Foundational Perspectives, September 28 - October 1, 2004, Czech Academy of Sciences, Prague, Czech Republic, pp. 16-17.)
• C. Fermüller:
  Parallel Dialogue Games and Hypersequents for Intermediate Logics.
  In: TABLEAUX 2003 Automated Reasoning with Analytic Tableaux and Related Methods}, International Conference, Rome, Italy, September 2003, Proceedings, Marta Cialdea Mayer, Fiora Pirri (Eds.), pp. 48-64.
  Preprint version: [PDF]   [PS]
• C. Fermüller, A. Ciabattoni:
  From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games.
  In: ISMVL 2003, Proc. 33rd IEEE International Symposium on Multiple-valued Logic, May 16-19, 2003 Meiji University, Tokyo, Japan, IEEE Computer Society, Los Alamitos, pp. 188-195.
  Preprint version: [PDF]   [PS]
• C. Fermüller, N. Preining:
  A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth.
  In: Proceedings of InTech`03 (Fourth International Conference on Intelligent Technologies), December 17-19, 2003, Chiang Mai, Thailand. Institute for Science and Technology Research and Development, Chiang Mai University, ISBN: 974-658-151-1, (Also available on CD, 10 pages, no page numbers.)
  Preprint version: [PDF]   [PS]
  
• C. Fermüller, R. Kosik:
  Combining Supervaluation and Degree Based Reasoning Under Vagueness.
  Miki Hermann, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings. LNAI 4246, Springer 2006, 212-226.
  Springer link
  Slightly corrected (preprint) version: [PDF]
• C. Fermüller:
  Truth Value Intervals, Bets and Dialogue Games.
  Logica Yearbook 2009.
  Preprint version: [PDF]
• C. Fermüller, C. Roschger:
  Randomized Game Semantics for Semi-Fuzzy Quantifiers.
  In: Advances in Computational Intelligence (Proceedings of IPMU 2012), Communications in Computer and Information Science 300, editors:Greco, S. et.al., 632-641, Springer 2012.
  Springer link
  Preprint version: [PDF]
• C. Fermüller, C. Roschger:
  Randomized Game Semantics for Semi-Fuzzy Quantifiers.
  (Considerably expanded version of the above conference paper.)
  Logic Journal of the IGPL 22(3): 413-439 (2014).
  Preprint version: [PDF]
• C. Fermüller, C. Roschger:
  From Games to Truth Functions: A Generalization of Giles's Game.
  Studia Logica 102(2): 389-410 (2014), partially supported also by FWF project "STRUCTURAL" I-603 N18.
  Preprint version: [PDF]
• C. Fermüller:
  On matrices, Nmatrices and games,
  Journal of Logic and Computation, 2014.
  Oxford Journals link
  Preprint version: [PDF]
• C. Fermüller:
  Hintikka-style semantic games for fuzzy logics.
  Accepted for FoIKS 2014. Submitted version: [PDF]
• C. Fermüller:
  Semantic Games with Backtracking for Fuzzy Logics.
  Preprint version: [PDF]
• P. Baldi, C. Fermüller:
  From Semi-Fuzzy to Fuzzy Quantifiers via Lukasiewicz Logic and Games.
  Accepted for EUSFLAT 2017
  Preprint version: [PDF]
• C. Fermüller, O. Majer:
  On Semantic Games for Lukasiewicz Logic.
  In: Jaakko Hintikka on Knowledge and Game Theoretical Semantics
  Preprint version: [PDF]
• L. Behounek, P. Cintula, C.G. Fermüller, T. Kroupa:
  Representing strategic games and their equilibria in many-valued logics.
  Logic Journal of IGPL 24(3), pp. 238-267 2016
  Preprint version: arXiv.org link
• C. Fermüller, O. Majer:
  Equilibrium Semantics for IF Logic and Many-Valued Connectives.
  Tbilisi Symposium on Logic, Language, and Computation 2015.
  Preprint version: [PDF]
• C. Fermüller:
  On Semantic Games for Fuzzy Logics.
  To appear in the Handbook of Mathematical Fuzzy Logic, Volume 3
  Preprint version: [PDF]
• C. Fermüller, T. Lang:
  Interpreting Sequent Calculi as Client-Server Games
  To appear in Proceedings of TABLEAUX 2017
  Preprint version: [PDF]