2024W

• Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
• Introduction to Logical Methods in Computer Science / 184.766 / VO
• Introduction to Quantum Computing, Complexity Theory, and Algorithmics / 192.042 / VU
• Logic and Computability / 185.A45 / VU
• Project in Computer Science 1 / 192.021 / PR
• Project in Computer Science 2 / 192.022 / PR
• Quantum Computing, Complexity Theory, and Algorithmics / 192.043 / VU
• Research Seminar for Master and PhD students / 185.A39 / SE
• Research Seminar LogiCS / 184.767 / SE
• Scientific Research and Writing / 193.052 / SE
• Theoretical Computer Science / 192.017 / VU

2025S

• Bachelor Thesis for Informatics and Business Informatics / 185.A26 / PR
• Introduction to Logical Methods in Computer Science / 184.766 / VO
• Project in Computer Science 1 / 192.021 / PR
• Project in Computer Science 2 / 192.022 / PR
• Research Seminar for Master and PhD students / 185.A39 / SE
• Research Seminar LogiCS / 184.767 / SE
• Seminar in Logic / 185.316 / SE

• From Semantic Games to Analytic Calculi – and Back
  2019 – 2023 / Austrian Science Fund (FWF)
  Publications: 150302 / 153672 / 175611 / 154215 / 190642 / 190651 / 190379 / 191020 / 191308 / 191575 / 150211 / 135851
• Modeling vague quantifiers in mathematical fuzzy logic
  2015 – 2018 / Austrian Science Fund (FWF)
  Publication: 896
• A Logical Framework for Dialogue Games
  2013 – 2017 / Austrian Science Fund (FWF)
  Publication: 135853
• A novel decision support system for training and diagnosis in dermatology
  2013 – 2015 / Austrian Research Promotion Agency (FFG)
• LogICCC - Contextualism, supervaluation, and fuzzy logic
  2008 – 2013 / Austrian Science Fund (FWF)
  Publication: 26788
• Dialogue Game Semantics for Fuzzy Logics
  2006 – 2008 / Austrian Science Fund (FWF)
  Publications: 169719 / 169720 / 169721 / 169722 / 170245 / 170246 / 51487 / 84521 / 84522 / 84523
• Decision Procedures and Model Building for Fuzzy Logics
  2003 – 2005 / FWF, Der Wissenschaftsfonds

2024

• Games in Logic / Fermüller, C. (2024, January 15). Games in Logic [Conference Presentation]. World logic day 2024, Wien, Austria.
  Project: LoDEx (2024–2026)

2023

• Judgment Aggregation with Graded Deontic Logics / Fermüller, C. (2023, October 28). Judgment Aggregation with Graded Deontic Logics [Conference Presentation]. Reasoning with Imperfect Information in Social Settings 2023, Pisa, Italy.
• Game Models of Producer-Consumer Interactions and Substructural Sequent Systems / Fermüller, C., Freiman, R., & Lang, T. A. (2023, September 27). Game Models of Producer-Consumer Interactions and Substructural Sequent Systems [Conference Presentation]. Mosaic Workshop 2023, Wien, Austria.
  Project: SEGACAB (2019–2023)
• Logic and Implication – An Introduction to the General Algebraic Study of Non-classical Logics, Petr Cintula, Carles Noguera , in: Trends in Logic, vol. 57, Springer (2021), 465 p., €120.99 for hardcover, ISBN: 978-3-030-85675-5 / Fermüller, C. G. (2023). Logic and Implication – An Introduction to the General Algebraic Study of Non-classical Logics, Petr Cintula, Carles Noguera , in: Trends in Logic, vol. 57, Springer (2021), 465 p., €120.99 for hardcover, ISBN: 978-3-030-85675-5 [Review of Logic and Implication – An Introduction to the General Algebraic Study of Non-classical Logics, by Petr Cintula & Carles Noguera]. Fuzzy Sets and Systems, 465. Springer. https://doi.org/10.1016/j.fss.2023.108532
• From Producer-Consumer Games to Substructural Calculi / Fermüller, C. (2023, May 24). From Producer-Consumer Games to Substructural Calculi [Conference Presentation]. Plexus Inaugural Conference, Lisbon, Portugal.
  Download: Vortragsfolien (193 KB)
• Many-Valued Judgment Aggregation - Some New Possibility Results / Uhl, S., & Fermüller, C. (2023). Many-Valued Judgment Aggregation - Some New Possibility Results. In V.-N. Huynh, B. Le, & K. Honda (Eds.), Integrated Uncertainty in Knowledge Modelling and Decision Making : 10th International Symposium, IUKM 2023, Kanazawa, Japan, November2-4, 2023, Proceedings, Part I (pp. 3–14). Springer. https://doi.org/10.1007/978-3-031-46775-2_1
  Project: SEGACAB (2019–2023)
• Some Consistency Criteria for Many-Valued Judgment Aggregation / Fermüller, C. (2023). Some Consistency Criteria for Many-Valued Judgment Aggregation. In 2023 IEEE 53rd International Symposium on Multiple-Valued Logic: ISMVL 2023: proceedings (pp. 215–220). https://doi.org/10.1109/ISMVL57333.2023.00048
  Project: SEGACAB (2019–2023)

2022

• Finite model theory for many-valued logics - Some challenges and open problems / Fermüller, C. (2022, November 10). Finite model theory for many-valued logics - Some challenges and open problems [Conference Presentation]. Finite Model Theory and Many-Valued Logic: Challenges and Interactions, Australia.
• Re-visiting Giles's game / Fermüller, C. (2022, August 9). Re-visiting Giles’s game [Conference Presentation]. Reasoning and uncertainty: probabilistic, logical, and psychological perspectives, Regensburg, Germany.
  Project: SEGACAB (2019–2023)
• Revisiting Brandom’s Incompatibility Semantics / Fermüller, C. G., & Hafner, J. (2022). Revisiting Brandom’s Incompatibility Semantics. In I. Sedlar (Ed.), The Logica Yearbook 2021 (pp. 77–98). College Publications. https://doi.org/10.34726/6199
  Download: Endversion des Artikels (325 KB)
  Project: SEGACAB (2019–2023)
• From Semantic Games to Analytic Calculi / Fermüller, C. (2022, June 16). From Semantic Games to Analytic Calculi [Conference Presentation]. Czech Gathering of Logicians, Prag, Czechia.
  Project: SEGACAB (2019–2023)
• Fuzzy judgment aggregation – background, observations, ideas / Fermüller, C. (2022, June 9). Fuzzy judgment aggregation – background, observations, ideas [Keynote Presentation]. 39th Linz Seminar on Fuzzy Set Theory, Linz, Austria. http://hdl.handle.net/20.500.12708/153677
• From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic / Fermüller, C., Lang, T. A., & Pavlova, A. (2022). From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. Logica Universalis, 16(1–2), 221–235. https://doi.org/10.1007/s11787-022-00300-0
  Download: PDF (409 KB)
  Project: SEGACAB (2019–2023)
• Probabilistic interpretations of argumentative attacks: Logical and experimental results / Pfeifer, N., & Fermüller, C. G. (2022). Probabilistic interpretations of argumentative attacks: Logical and experimental results. Argument & Computation, 1–33. https://doi.org/10.34726/3521
  Download: Online-Version des Verlags (472 KB)

2021

• Connecting Sequent Calculi with Lorenzen-Style Dialogue Games / Fermüller, C. (2021). Connecting Sequent Calculi with Lorenzen-Style Dialogue Games. In G. Heinzmann & G. Wolters (Eds.), Paul Lorenzen -- Mathematician and Logician (Vol. 51, pp. 115–141). https://doi.org/10.1007/978-3-030-65824-3_8
• Revisting Brandom's Incompatibility Semantics / Fermüller, C. (2021). Revisting Brandom’s Incompatibility Semantics. Logica 2021, Hejnice, Czechia. http://hdl.handle.net/20.500.12708/87232

2020

• Interpreting Propositional Fuzzy Logics via Imperfect Information Games / Fermüller, C., & Majer, O. (2020). Interpreting Propositional Fuzzy Logics via Imperfect Information Games. In 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL). 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), Miyazaki, Japan. IEEE Computer Society. https://doi.org/10.1109/ismvl49045.2020.00006
• From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic / Fermüller, C., Lang, T., & Pavlova, A. (2020). From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. In Information Processing and Management of Uncertainty in Knowledge-Based Systems (pp. 257–270). Springer. https://doi.org/10.1007/978-3-030-50146-4_20
• On fuzzification mechanisms for unary quantification / Baldi, P., Fermüller, C. G., & Hofer, M. F. J. (2020). On fuzzification mechanisms for unary quantification. Fuzzy Sets and Systems, 388, 90–123. https://doi.org/10.1016/j.fss.2019.12.009

2019

• Connecting fuzzy logic and argumentation frames via logical attack principles / Corsi, E. A., & Fermüller, C. G. (2019). Connecting fuzzy logic and argumentation frames via logical attack principles. Soft Computing. https://doi.org/10.1007/s00500-018-3513-2
  Download: PDF (528 KB)
• A Game Model for Proofs with Costs / Lang, T., Olarte, C., Pimentel, E., & Fermüller, C. (2019). A Game Model for Proofs with Costs. In Automated Reasoning with Analytic Tableaux and Related Methods (pp. 241–258). Springer. http://hdl.handle.net/20.500.12708/58036
• Modalities as prices: a game model of intuitionistic linear logic with subexponentials / Fermüller, C. (2019). Modalities as prices: a game model of intuitionistic linear logic with subexponentials. GaLoP 2019 14th Workshop on Games for Logic and Programming Languages, Prag, Czechia. http://hdl.handle.net/20.500.12708/86977
• Judgment Aggregation From a Many-valued Logic Perspective / Fermüller, C. (2019). Judgment Aggregation From a Many-valued Logic Perspective. Nonclassical Logics and Judgment Aggregation, Prag, Czechia. http://hdl.handle.net/20.500.12708/86973
• Argumentation Based Semantics for Nonclassical Logics / Fermüller, C. (2019). Argumentation Based Semantics for Nonclassical Logics. A primer of formal argumentation, Milano, Italy. http://hdl.handle.net/20.500.12708/86972

2018

• On Semantic Games for Łukasiewicz Logic / Fermüller, C., & Majer, O. (2018). On Semantic Games for Łukasiewicz Logic. In H. van Ditmarsch & G. Sandu (Eds.), Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (pp. 263–278). Springer. http://hdl.handle.net/20.500.12708/29877
• Review of "Fuzzy Logic and Mathematics: A Historical Perspective" / Fermüller, C. (2018). Review of “Fuzzy Logic and Mathematics: A Historical Perspective.” Notre Dame Philosophical Reviews, (ONLINE). http://hdl.handle.net/20.500.12708/144564
• Substructural Calculi and Games of Information Extraction / Fermüller, C. (2018). Substructural Calculi and Games of Information Extraction. Forschungsseminar Informatik, Uni Bamberg, Bamberg, EU. http://hdl.handle.net/20.500.12708/86796
• A cost conscious game model for intutionistic linear logic with subexponentials / Fermüller, C. (2018). A cost conscious game model for intutionistic linear logic with subexponentials. FISP Workshop (3rd FISP Meeting), Vienna, Austria. http://hdl.handle.net/20.500.12708/86795
• Automated Deduction in Classical and Nonclassical Logic: A bird's eyes view with hints on bounded reasoning / Fermüller, C. (2018). Automated Deduction in Classical and Nonclassical Logic: A bird’s eyes view with hints on bounded reasoning. Models of Bounded Reasoning in Individuals and Groups, Leiden, Netherlands, EU. http://hdl.handle.net/20.500.12708/86794
• Exploring Argumentation Based Semantics for Relevance Logic / Fermüller, C. (2018). Exploring Argumentation Based Semantics for Relevance Logic. AsubL (Algebra & Substructural Logics- Take 6), Cagliari, Italy, EU. http://hdl.handle.net/20.500.12708/86793
• From Lorenzen's dialogue game to game semantics for substructural logics / Fermüller, C. (2018). From Lorenzen’s dialogue game to game semantics for substructural logics. Paul Lorenzen: Mathematician and Logician, Konstanz, EU. http://hdl.handle.net/20.500.12708/86792
• Games and analytic proof systems / Fermüller, C. (2018). Games and analytic proof systems. PhDs in Logic X, Prague, EU. http://hdl.handle.net/20.500.12708/86791
• Interpretpreting Substructural Logics by Games of Information Extraction / Fermüller, C., & Lang, T. (2018). Interpretpreting Substructural Logics by Games of Information Extraction. Games for Logic and Programming Languages XIII, Thessaloniki, Greece, EU. http://hdl.handle.net/20.500.12708/86790
• On the Expressivity of the Propositional Fragment of Independence Friendly Logic / Majer, O., & Fermüller, C. (2018). On the Expressivity of the Propositional Fragment of Independence Friendly Logic. Games for Logic and Programming Languages XIII, Thessaloniki, Greece, EU. http://hdl.handle.net/20.500.12708/86789
• From semi-abstract argumentation to logical consequence / Corsi, E. A., & Fermüller, C. (2018). From semi-abstract argumentation to logical consequence. In S. Oswald & D. Mailat (Eds.), Argumentation and Inference, Proceedings of the 2 nd European Conference on Argumentation (pp. 151–164). College Publications. http://hdl.handle.net/20.500.12708/57667
• Probabilistic interpretations of argumentative attacks: logical and experimental foundations / Pfeifer, N., & Fermüller, C. (2018). Probabilistic interpretations of argumentative attacks: logical and experimental foundations. In V. Kratochvil & J. Vejnarova (Eds.), Proceedings of the 11th Workshop on Uncertainty Processing (WUPES´18) Trebon, Czech Republic (pp. 141–152). MatfyzPress, Publishing House of the Faculty of Mathematics and Physics Charles University. http://hdl.handle.net/20.500.12708/56714
• A Granularity Approach to Vague Quantification / Fermüller, C. (2018). A Granularity Approach to Vague Quantification. In V.-N. Hunyh (Ed.), IUKM 2018. International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making (pp. 3–14). International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making. http://hdl.handle.net/20.500.12708/56708

2017

• Hintikka Style Game Rules for Semi-Fuzzy Quantifiers / Fermüller, C. G., & Hofer, M. (2017). Hintikka Style Game Rules for Semi-Fuzzy Quantifiers. In 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL 2017), Novi Sad, Serbia, May 22-24, 2017. IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) 2017, Novi Sad, Serbia. IEEE. https://doi.org/10.1109/ISMVL.2017.57
  Download: PDF (282 KB)
• Querying with Vague Quantifiers Using Probabilistic Semantics / Fermüller, C., Hofer, M., & Ortiz, M. (2017). Querying with Vague Quantifiers Using Probabilistic Semantics. In H. Christiansen, H. Jaudoin, P. Chountas, T. Andreasen, & H. L. Larsen (Eds.), Flexible Query Answering Systems : 12th International Conference, FQAS 2017, London, UK, June 21–22, 2017, Proceedings. Springer Cham. https://doi.org/10.1007/978-3-319-59692-1_2
  Download: PDF (573 KB)
• Interpreting Sequent Calculi as Client-Server Games / Fermüller, C. G., & Lang, T. (2017). Interpreting Sequent Calculi as Client-Server Games. In R. Schmidt (Ed.), Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings (pp. 98–113). Springer. https://doi.org/10.1007/978-3-319-66902-1_6
• Connecting Argumentation, Incompatibility Semantics, Nmatrices, and Relevance Logics / Fermüller, C. (2017). Connecting Argumentation, Incompatibility Semantics, Nmatrices, and Relevance Logics. ISRALOG 2017, Haifa, Israel, Non-EU. http://hdl.handle.net/20.500.12708/86560
• Connecting fuzzy logic and argumentation frames via logical attack principles / Fermüller, C. (2017). Connecting fuzzy logic and argumentation frames via logical attack principles. ManyVal 2017, Toulouse, Frankreich, EU. http://hdl.handle.net/20.500.12708/86559
• A logical perspective on argumentation / Fermüller, C. (2017). A logical perspective on argumentation. Metaphor and Argumentation, Cagliari, Italy, EU. http://hdl.handle.net/20.500.12708/86535
• From Semi-fuzzy to Fuzzy Quantifiers via Lukasiewicz Logic and Games / Baldi, P., & Fermüller, C. (2017). From Semi-fuzzy to Fuzzy Quantifiers via Lukasiewicz Logic and Games. In Proceedings of: EUSFLAT-2017 (pp. 112–124). http://hdl.handle.net/20.500.12708/57214
• Logical Argumentation Principles, Sequents, and Nondeterministic Matrices / Corsi, E. A., & Fermüller, C. G. (2017). Logical Argumentation Principles, Sequents, and Nondeterministic Matrices. In A. Baltag (Ed.), Logic, Rationality, and Interaction (pp. 422–437). Springer. https://doi.org/10.1007/978-3-662-55665-8_29

2016

• Representing strategic games and their equilibria in many-valued logics / Běhounek, L., Cintula, P., Fermüller, C., & Kroupa, T. (2016). Representing strategic games and their equilibria in many-valued logics. Logic Journal of the IGPL, 24(3), 238–267. https://doi.org/10.1093/jigpal/jzw004
• On matrices, Nmatrices and games / Fermüller, C. G. (2016). On matrices, Nmatrices and games. Journal of Logic and Computation, 26(1), 189–211. https://doi.org/10.1093/logcom/ext024
• Semantic Games with Backtracking for T-norm Based Fuzzy Logics / Fermüller, C. (2016). Semantic Games with Backtracking for T-norm Based Fuzzy Logics. Journal of Multiple-Valued Logic and Soft Computing, 26(1–2), 157–173. http://hdl.handle.net/20.500.12708/148622
• Interpreting Sequent Calculi as Client-Server Games / Fermüller, C. (2016). Interpreting Sequent Calculi as Client-Server Games. Syntax Meets Semantics 2016, Barcelona, EU. http://hdl.handle.net/20.500.12708/86315
• Giles' Game - Recent Developments and Challenges / Fermüller, C. (2016). Giles’ Game - Recent Developments and Challenges. Magica 16, Mailand, EU. http://hdl.handle.net/20.500.12708/86313
• Logical Consequence and Belief Change Arising From Semi-Abstract Argumentation / Fermüller, C. (2016). Logical Consequence and Belief Change Arising From Semi-Abstract Argumentation. Workshop on New Trends in Belief Change, Vienna, Austria. http://hdl.handle.net/20.500.12708/86298
• The future of MFL: pure math or seriously interdisciplinary? / Fermüller, C. (2016). The future of MFL: pure math or seriously interdisciplinary? The Future of Mathematical Fuzzy Logic, Prague, EU. http://hdl.handle.net/20.500.12708/86297

2015

• Combining Fuzziness and Context Sensitivity in Game Based Models of Vague Quantification / Fermüller, C. G. (2015). Combining Fuzziness and Context Sensitivity in Game Based Models of Vague Quantification. In V.-N. Huynh, M. Inuiguchi, & T. Denoeux (Eds.), Integrated Uncertainty in Knowledge Modelling and Decision Making : 4th International Symposium, IUKM 2015, Nha Trang, Vietnam, October 15-17, 2015, Proceedings (pp. 19–31). Springer. https://doi.org/10.1007/978-3-319-25135-6_4
• Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic / Baaz, M., & Fermüller, C. (2015). Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic. In S. Kreutzer (Ed.), 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) (pp. 94–109). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.CSL.2015.94
• Lorenzen-style Dialogues and Substructural Sequent Systems / Fermüller, C. (2015). Lorenzen-style Dialogues and Substructural Sequent Systems. Workshop on Logica Dialogue Games, Wien, Austria. http://hdl.handle.net/20.500.12708/86098
• Equilibrium Semantics for IF-Logic and Many-Valued Connectives / Fermüller, C. (2015). Equilibrium Semantics for IF-Logic and Many-Valued Connectives. TbiLLC 2015: 11th International Tbilisi Symposium on Language, Logic and Computation, Tiflis, Non-EU. http://hdl.handle.net/20.500.12708/86097
• Connecting Lorenzen style games and Gentzen style calculi / Fermüller, C. (2015). Connecting Lorenzen style games and Gentzen style calculi. CiE 2015 - Evolving Computability, Bucharest, EU. http://hdl.handle.net/20.500.12708/86096
• Game Semantics for Vague Quantifiers / Fermüller, C. (2015). Game Semantics for Vague Quantifiers. Logica 2015, Hejnice, EU. http://hdl.handle.net/20.500.12708/86095
• Hintikka-style semantic games for many-valued logics / Fermüller, C. (2015). Hintikka-style semantic games for many-valued logics. Seminar of Logic Group at University of Milano, Mailand, EU. http://hdl.handle.net/20.500.12708/86094
• Equilibrium Semantics for IF Logic and Many-Valued Connectives / Fermüller, C., & Majer, O. (2015). Equilibrium Semantics for IF Logic and Many-Valued Connectives. In H. H. Hansen (Ed.), Logic, Language, and Computation. TbiLLC 2015 (pp. 290–312). Springer. http://hdl.handle.net/20.500.12708/57243

2014

• Randomized game semantics for semi-fuzzy quantifiers / Fermüller, C., & Roschger, C. (2014). Randomized game semantics for semi-fuzzy quantifiers. LOGIC JOURNAL OF THE IGPL, 22(3), 413–439. http://hdl.handle.net/20.500.12708/157224
• From Games to Truth Functions: A Generalization of Giles's Game / Fermüller, C. G., & Roschger, C. (2014). From Games to Truth Functions: A Generalization of Giles’s Game. Studia Logica, 102(2), 389–410. https://doi.org/10.1007/s11225-014-9550-7
• Hintikka-Style Semantic Games for Fuzzy Logics / Fermüller, C. G. (2014). Hintikka-Style Semantic Games for Fuzzy Logics. In C. Beierle (Ed.), Foundations of Information and Knowledge Systems : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings (pp. 193–210). LNCS/Springer. https://doi.org/10.1007/978-3-319-04939-7_9
• Bridges between contextual linguistic models of vagueness and t-norm based fuzzy logic / Fermüller, C., & Roschger, C. (2014). Bridges between contextual linguistic models of vagueness and t-norm based fuzzy logic. In F. Montagna (Ed.), Petr Hajek on Mathematical Fuzzy Logic (pp. 91–116). Springer. http://hdl.handle.net/20.500.12708/28400
• From truth-functional to substructural logics via semantic games / Fermüller, C. (2014). From truth-functional to substructural logics via semantic games. AsubL take 5, Mrlbourne, Australien, Non-EU. http://hdl.handle.net/20.500.12708/85961
• Vagueness and logical dialogue games / Fermüller, C. (2014). Vagueness and logical dialogue games. Workshop on Vagueness via Nonclassical Logics, Sydbey, Australien, Non-EU. http://hdl.handle.net/20.500.12708/85962
• n Equilibrium Semantics for IF-Logic and Many-Valued Connectives / Fermüller, C. (2014). n Equilibrium Semantics for IF-Logic and Many-Valued Connectives. ISRALOG 2014, Haifa, Israel, Non-EU. http://hdl.handle.net/20.500.12708/85960
• Parallel Dialogue Games and Hypersequents / Fermüller, C. (2014). Parallel Dialogue Games and Hypersequents. Workshop on Proofs as Processes, Kanazawa, Japan, Non-EU. http://hdl.handle.net/20.500.12708/85959
• Semantic Games with Backtracking for Fuzzy Logics / Fermüller, C. (2014). Semantic Games with Backtracking for Fuzzy Logics. In 2014 IEEE 44th International Symposium on Multiple-Valued Logic. ISMVL 2014, Bremen, EU. https://doi.org/10.1109/ismvl.2014.15

2013

• On matrices, Nmatrices and games / Fermüller, C. G. (2013). On matrices, Nmatrices and games. Journal of Logic and Computation, 26(1), 189–211. https://doi.org/10.1093/logcom/ext024
• Game Based Interpretations of Mathematical Fuzzy Logics / Fermüller, C. (2013). Game Based Interpretations of Mathematical Fuzzy Logics. 2nd Workshop on Algebraic Logics and Mathematical Fuzzy Logic, Prag, EU. http://hdl.handle.net/20.500.12708/85675
• Many Values in Semantic Games / Fermüller, C. (2013). Many Values in Semantic Games. Logica, Hejnice, Czech Republic, EU. http://hdl.handle.net/20.500.12708/85578
• Semantic games and hypersequents - a case study in many valued reasoning / Fermüller, C. (2013). Semantic games and hypersequents - a case study in many valued reasoning. Seminar of the Munich Center for Mathematical Philosophy, München, Deutschland, EU. http://hdl.handle.net/20.500.12708/85579
• Games semantics for deterministic and nondeterministic many-valued logics / Fermüller, C. (2013). Games semantics for deterministic and nondeterministic many-valued logics. UniLog 2013, Rio de Janeiro, Non-EU. http://hdl.handle.net/20.500.12708/85553

2012

• Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability / Baaz, M., Ciabattoni, A., & Fermüller, C. (2012). Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability. Logical Methods in Computer Science, 8(1). https://doi.org/10.2168/lmcs-8(1:20)2012
• Extending Giles's Game for Lukasiewicz Logic to Fuzzy Quantification / Fermüller, C., & Roschger, C. (2012). Extending Giles’s Game for Lukasiewicz Logic to Fuzzy Quantification. In N. Preining & K. Terui (Eds.), Logic, Algebra and Truth Degrees 2012 - Book of Abstracts (pp. 71–75). Jaist. http://hdl.handle.net/20.500.12708/54239
• From Giles's game for reasoning in physics to analytic proof systems for fuzzy logics / Fermüller, C. (2012). From Giles’s game for reasoning in physics to analytic proof systems for fuzzy logics. OASIS: The Oxford Advanced Seminar on Informatic Structures, Oxford, UK, EU. http://hdl.handle.net/20.500.12708/85427
• On Matrices, Nmatrices, and Games / Fermüller, C. (2012). On Matrices, Nmatrices, and Games. Logic: Between Semantics and Proof Theory, Tel-Aviv, Non-EU. http://hdl.handle.net/20.500.12708/85428
• Randomizing Giles's Game for Fuzzy Quantification / Fermüller, C. (2012). Randomizing Giles’s Game for Fuzzy Quantification. Games, Game Theory and Game Semantics: Philosophical and Scientific Perspectives, Riga, Latvia, EU. http://hdl.handle.net/20.500.12708/85426
• Randomized Game Semantics for Semi-fuzzy Quantifiers / Fermüller, C., & Roschger, C. (2012). Randomized Game Semantics for Semi-fuzzy Quantifiers. In Advances in Computational Intelligence. Part IV (pp. 632–641). Springer. http://hdl.handle.net/20.500.12708/54326
• On the Algorithmic Complexity of Vague Descriptions / Fermüller, C. (2012). On the Algorithmic Complexity of Vague Descriptions. In F. Hong (Ed.), Int. Proceedings of Computer Science and Information Technology (pp. 39–44). IACSIT Press. http://hdl.handle.net/20.500.12708/54128

2011

• A Game Based Approach to Quantification in Lukasiewicz Logic / Fermüller, C. (2011). A Game Based Approach to Quantification in Lukasiewicz Logic. In P. Cintula & S. Ju (Eds.), Non-classical Modal and Predicate Logics 2011 (pp. 58–63). F-Solutions. http://hdl.handle.net/20.500.12708/54041
• A Conversation About Fuzzy Logic and Vagueness / Fermüller, C., & Hajek, P. (2011). A Conversation About Fuzzy Logic and Vagueness. In P. Cintula & C. Fermüller (Eds.), Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives (pp. 405–416). College Publications. http://hdl.handle.net/20.500.12708/27521
• Comments on Vagueness in Language: The Case Against Fuzzy Logic Revisited by Uli Sauerland / Fermüller, C. (2011). Comments on Vagueness in Language: The Case Against Fuzzy Logic Revisited by Uli Sauerland. In P. Cintula & C. Fermüller (Eds.), Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives (pp. 199–202). College Publications. http://hdl.handle.net/20.500.12708/27520
• Parallel Dialogue Games and Hypersequents for Intermediate Logics / Fermüller, C. (2011). Parallel Dialogue Games and Hypersequents for Intermediate Logics. Logikseminar des Instituts für Mathematik, Bern, Schweiz, Non-EU. http://hdl.handle.net/20.500.12708/85291
• Logical Models of Reasoning with Vague Information / Fermüller, C. (2011). Logical Models of Reasoning with Vague Information. LogICCC Final Conference, Berlin, Germany, EU. http://hdl.handle.net/20.500.12708/85157
• How to justify your favorite logical system? - A case study / Fermüller, C. (2011). How to justify your favorite logical system? - A case study. Workshop STRUCTURAL, Paris, France, EU. http://hdl.handle.net/20.500.12708/85156
• Vague and Uncertain Entailment - Some Conceptual Clarifications / Fermüller, C. (2011). Vague and Uncertain Entailment - Some Conceptual Clarifications. Workshop: Conditionals, Counterfactuals and Causes in Uncertain Environments, Düsseldorf, Germany, EU. http://hdl.handle.net/20.500.12708/85155
• Parallel Dialogue Games and Hypersequents for Intermediate Logics / Fermüller, C. (2011). Parallel Dialogue Games and Hypersequents for Intermediate Logics. Workshop on Logic and Computation, Kanazawa, Japan, Non-EU. http://hdl.handle.net/20.500.12708/85154
• Parallel dialogue games and hypersequents / Fermüller, C. (2011). Parallel dialogue games and hypersequents. Proof and Dialogues (ProDi), Tübingen, Deutschland, EU. http://hdl.handle.net/20.500.12708/85153
• Logic and Vagueness. Report from an Interdisciplinary Battle Ground / Fermüller, C. (2011). Logic and Vagueness. Report from an Interdisciplinary Battle Ground. LogICCC Meets India, New Dehli, Non-EU. http://hdl.handle.net/20.500.12708/85152
• Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives / Cintula, P., Fermüller, C., Godo, L., & Hajek, P. (Eds.). (2011). Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives. College Publications. http://hdl.handle.net/20.500.12708/23457

2010

• A resolution mechanism for Prenex Gödel logic / Baaz, M., & Fermüller, C. (2010). A resolution mechanism for Prenex Gödel logic. In A. Dawar & H. Veith (Eds.), Computer Science Logic (LNCS 6247/2010) (pp. 67–79). Springer. http://hdl.handle.net/20.500.12708/40997
• On Giles style dialoques games and hypersequent systems / Fermüller, C. (2010). On Giles style dialoques games and hypersequent systems. In H. Hosni & F. Montagna (Eds.), Probability, Uncertainty and Rationality (pp. 169–197). Editioni Della Normale. http://hdl.handle.net/20.500.12708/26788
  Project: LogICCC - fuzzy logic (2008–2013)
• Some Critical Remarks on Incompatibility Semantics / Fermüller, C. (2010). Some Critical Remarks on Incompatibility Semantics. In M. Pelis (Ed.), The Logica Yearbook 2008 (pp. 81–96). College Publications. http://hdl.handle.net/20.500.12708/27029
• Review: Vagueness and Degrees of Truth / Fermüller, C. (2010). Review: Vagueness and Degrees of Truth. Australasian Journal of Logic, 9, 1–9. http://hdl.handle.net/20.500.12708/167396
• The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach / Klinov, P., Parsia, B., & Picado Muino, D. (2010). The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach. In C. Fermüller & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings (pp. 432–446). Springer Verlag. https://doi.org/10.1007/978-3-642-16242-8_31
• A Generalization of Giles's Game / Fermüller, C. (2010). A Generalization of Giles’s Game. Algebra and Substructural Logics - AsubL4, Kanazawa, Japan, Non-EU. http://hdl.handle.net/20.500.12708/85107
• Relations between Medieval and Modern Logical Dialogue Games / Fermüller, C. (2010). Relations between Medieval and Modern Logical Dialogue Games. International Medieval Congress 2010, Leeds, UK, EU. http://hdl.handle.net/20.500.12708/85106
• Is there a role for fuzzy logic in linguistics? / Fermüller, C. (2010). Is there a role for fuzzy logic in linguistics? Workshop on “Vague Quantities and Vague Quantifiers (VQ2),” Berlin, EU. http://hdl.handle.net/20.500.12708/85105
• On Dialogue Games for Multi-Valued Logics / Fermüller, C. (2010). On Dialogue Games for Multi-Valued Logics. Logic, Algebra and Truth Degrees - LATD 2010, Prag, Tschechische Republik, EU. http://hdl.handle.net/20.500.12708/85104
• Formal Rationality Principles in Logical Dialogue Games / Fermüller, C. (2010). Formal Rationality Principles in Logical Dialogue Games. Logic, Reasoning and Rationality - LRR10, Gent, Belgien, EU. http://hdl.handle.net/20.500.12708/85103
• From Linguistic Models of Vagueness to t-Norm Based Fuzzy Logic / Roschger, C., & Fermüller, C. (2010). From Linguistic Models of Vagueness to t-Norm Based Fuzzy Logic. ManyVal 2010, Varese, Italien, EU. http://hdl.handle.net/20.500.12708/85095
• Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings LPAR-17 / Fermüller, C., & Voronkov, A. (Eds.). (2010). Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings LPAR-17. Springer. http://hdl.handle.net/20.500.12708/23275

2009

• Giles's Game and the Proof Theory of Lukasiewicz Logic / Fermüller, C. (2009). Giles’s Game and the Proof Theory of Lukasiewicz Logic. Probability, Uncertainty and Rationality 2009, Pontignano, Italy. http://hdl.handle.net/20.500.12708/84912
• Giles's Game and the Proof Theory of Lukasiewicz Logic / Fermüller, C. G., & Metcalfe, G. (2009). Giles’s Game and the Proof Theory of Lukasiewicz Logic. Studia Logica, 92(1), 27–61. https://doi.org/10.1007/s11225-009-9185-2
• Fuzzy logic and vagueness: can philosophers learn from Petr Hajek? / Fermüller, C. (2009). Fuzzy logic and vagueness: can philosophers learn from Petr Hajek? In P. Cintula, Z. Hanikova, & V. Svejdar (Eds.), Witnessed Years. Esseays in Honour of Petr Hajek (pp. 373–386). College Publications. http://hdl.handle.net/20.500.12708/26809
• Truth Value Intervals, Bets, and Dialogue Games / Fermüller, C. (2009). Truth Value Intervals, Bets, and Dialogue Games. In M. Pelis (Ed.), The Logica Yearbook 2008 (pp. 43–57). College Publications. http://hdl.handle.net/20.500.12708/26415
• Revisiting Giles's Game - Reconciling Fuzzy Logic and Supervaluation / Fermüller, C. (2009). Revisiting Giles’s Game - Reconciling Fuzzy Logic and Supervaluation. In O. Majer, T. Tulenheimo, & A.-V. Pietarinen (Eds.), Games: Unifying Logic, Language, and Philosophy (pp. 209–227). Springer Science. http://hdl.handle.net/20.500.12708/26510
• Dialogue Games as Foundation of Fuzzy Logics / Fermüller, C. (2009). Dialogue Games as Foundation of Fuzzy Logics. In R. Seising & J. Kacprzyk (Eds.), Views on Fuzzy Sets and Systems from Different Perspectives (Vol. 243, pp. 229–245). Springer. https://doi.org/10.1007/978-3-540-93802-6_11
• Linguistics, Logic, and Vagueness / Fermüller, C. (2009). Linguistics, Logic, and Vagueness. Moscow-Vienna Workshop on Logic and Computation, Moscow, Austria. http://hdl.handle.net/20.500.12708/84914
• Some Critical Remarks on Incompatibility Semantics / Fermüller, C. (2009). Some Critical Remarks on Incompatibility Semantics. Logica 2009, Hejnice, Czech Republic, EU. http://hdl.handle.net/20.500.12708/84913
• Vagueness at the interface between logic, philosophy, and linguistics / Fermüller, C. (2009). Vagueness at the interface between logic, philosophy, and linguistics. Logical Models of Reasoning with Vague Information, Cejkovice, Czech Republic, EU. http://hdl.handle.net/20.500.12708/84911
• Bridges between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic / Fermüller, C., & Roschger, C. (2009). Bridges between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic. In T. Kroupa & J. Vejnarova (Eds.), Proceedings of the 8th Workshop on Uncertainty Processing (pp. 71–79). Universtiy of Economics. http://hdl.handle.net/20.500.12708/52813

2008

• Cut elimination for first order Gödel logic by hyperclause resolution / Baaz, M., Ciabattoni, A., & Fermüller, C. (2008). Cut elimination for first order Gödel logic by hyperclause resolution. In I. Cervesato, H. Veith, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 5330) (pp. 451–466). Springer. http://hdl.handle.net/20.500.12708/40803
• Dialoque Games for Many-Valued Logics - an Overwiew / Fermüller, C. G. (2008). Dialoque Games for Many-Valued Logics - an Overwiew. Studia Logica, 90(1), 43–68. https://doi.org/10.1007/s11225-008-9143-4
• Brandom's 'incompatibilty semantics' / Fermüller, C. (2008). Brandom’s “incompatibilty semantics.” Kolloquium Institut Wiener Kreis (IVC), Wien, Austria. http://hdl.handle.net/20.500.12708/84827
• Dialogue games as foundations of non-classical logics / Fermüller, C. (2008). Dialogue games as foundations of non-classical logics. Non-classical Logics: from Foundations to Applications, Pisa, EU. http://hdl.handle.net/20.500.12708/84753
• Truth Value Intervals, Bets, and Dialogue Games / Fermüller, C. (2008). Truth Value Intervals, Bets, and Dialogue Games. Logica 2008, Hejnice, EU. http://hdl.handle.net/20.500.12708/84752
• Truth Value Intervals, Bets, and Dialogue Games / Fermüller, C. (2008). Truth Value Intervals, Bets, and Dialogue Games. LOFT 2008, 8th Conference on Logic and the Foundations of Game and Decision Theory, Amsterdam, EU. http://hdl.handle.net/20.500.12708/84751
• On the interpretation of t-norm based fuzzy logics / Fermüller, C. (2008). On the interpretation of t-norm based fuzzy logics. LATD 2008 - Logic, Algebra and Truth Degrees 2008, Siena, EU. http://hdl.handle.net/20.500.12708/84750
• LoMoReVI -- Logical Models of Reasoning with Vague Information / Fermüller, C. (2008). LoMoReVI -- Logical Models of Reasoning with Vague Information. LogICCC Launch Conference of the European Science Foundation, Prag, EU. http://hdl.handle.net/20.500.12708/84749

2007

• Model Representation over Finite and Infinite Signatures / Fermüller, C., & Pichler, R. (2007). Model Representation over Finite and Infinite Signatures. Journal of Logic and Computation, 17(3), 453–477. https://doi.org/10.1093/logcom/exm008
• Monadic fragments of Gödel logics: decidability and undecidability / Baaz, M., Ciabattoni, A., & Fermüller, C. (2007). Monadic fragments of Gödel logics: decidability and undecidability. Lecture Notes in Computer Science, 4790, 77–91. http://hdl.handle.net/20.500.12708/168724
• Monadic Fragments of Gödel Logics: Decidability and Undecidability Results / Baaz, M., Ciabattoni, A., & Fermüller, C. (2007). Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. In N. Dershowitz & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 4790) (pp. 77–91). Springer. https://doi.org/10.1007/978-3-540-75560-9_8
• Monadic fragments of Gödel logics: decidability and undecability results / Baaz, M., Ciabattoni, A., & Fermüller, C. (2007). Monadic fragments of Gödel logics: decidability and undecability results. 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning 2007, Erivan, Armenia, Non-EU. http://hdl.handle.net/20.500.12708/118584
• Logische Dialogspiele als formale Semantik / Fermüller, C. (2007). Logische Dialogspiele als formale Semantik. Institute Vienna Circle, Wien, Austria. http://hdl.handle.net/20.500.12708/84623
• Games in logic and logic in games / Fermüller, C. (2007). Games in logic and logic in games. Institute Vienna Circle, Wien, Austria. http://hdl.handle.net/20.500.12708/84622
• Some Remarks on Imprecise Truth Values / Fermüller, C. (2007). Some Remarks on Imprecise Truth Values. “Two and beyond”, KGS Workshop on Fuzzy Logic and Proof Theory, Barcelona, Spain, EU. http://hdl.handle.net/20.500.12708/84621
• Interpreting interval based fuzzy logics / Fermüller, C. (2007). Interpreting interval based fuzzy logics. Analytic Proof Systems 3, 3rd International Workshop on Analytic Proof Systems, Yerevan, Armenia, Non-EU. http://hdl.handle.net/20.500.12708/84620
• Fuzzy Logic and Theories of Vagueness / Fermüller, C. (2007). Fuzzy Logic and Theories of Vagueness. Fuzzy Logic Seminar of the CAS, Institute of Computer Science, Prague, Czech Republic, EU. http://hdl.handle.net/20.500.12708/84619
• Dialogue games as foundations of fuzzy logics / Fermüller, C. (2007). Dialogue games as foundations of fuzzy logics. 3rd Moscow-Vienna Workshop on Logic and Computation, Moskow, Austria. http://hdl.handle.net/20.500.12708/84618
• Vagueness as semantic indeterminacy: three bridges between probability and fuzzy logic / Fermüller, C. (2007). Vagueness as semantic indeterminacy: three bridges between probability and fuzzy logic. Fuzzy Sets, Probability, and Statistics -- Gaps and Bridges, 28th Linz Seminar on Fuzzy Sets, Linz, Austria. http://hdl.handle.net/20.500.12708/84611
• Exploring Dialogue Games as Foundation of Fuzzy Logic / Fermüller, C. (2007). Exploring Dialogue Games as Foundation of Fuzzy Logic. In M. Stepnicka, V. Novak, & U. Bodenhofer (Eds.), New Dimensions in Fuzzy Logic and Related Technologies (pp. 437–444). http://hdl.handle.net/20.500.12708/51903
• Fuzzy Logic and Theories of Vagueness / Fermüller, C. (2007). Fuzzy Logic and Theories of Vagueness. In New Dimensions in Fuzzy Logic and Related Technologies (p. 17). http://hdl.handle.net/20.500.12708/51893

2006

• Lorenzen, Giles and beyond:from dialogue games to sequents and hypersequents / Fermüller, C. (2006). Lorenzen, Giles and beyond:from dialogue games to sequents and hypersequents. Universita degli Studi di Siena, Siena, Italy, EU. http://hdl.handle.net/20.500.12708/84524
• Game based semantics for Lukasiewicz logic: acquainting Giles's gamblers with Mundici's Pinocchio / Fermüller, C. (2006). Game based semantics for Lukasiewicz logic: acquainting Giles’s gamblers with Mundici’s Pinocchio. Studia Logica International Conference `Towards Mathematical Philosophy -- Trends in Logic IV’, Turun, Poland, EU. http://hdl.handle.net/20.500.12708/84523
  Project: Dialogspielsemantik (2006–2008)
• Measuring Uncertainty: On Probabilities, Possibilities, Likelihoods, Plausibilities and Degrees of Truth / Fermüller, C. (2006). Measuring Uncertainty: On Probabilities, Possibilities, Likelihoods, Plausibilities and Degrees of Truth. Uncertainty: Reasoning about probability and vagueness, Prague International Colloquium, Prague, Cech Republic, EU. http://hdl.handle.net/20.500.12708/84522
  Project: Dialogspielsemantik (2006–2008)
• Theorien der Vagheit und Fuzzy Logic / Fermüller, C. (2006). Theorien der Vagheit und Fuzzy Logic. Kolloquium Institut Wiener Kreis (IVC), Wien, Austria. http://hdl.handle.net/20.500.12708/84521
  Project: Dialogspielsemantik (2006–2008)
• Combining Supervaluation and Degree Based Reasoning Under Vagueness / Fermüller, C., & Kosik, R. (2006). Combining Supervaluation and Degree Based Reasoning Under Vagueness. In Logic for Programming, Artificial Intelligence, and Reasoning (pp. 212–226). Springer. http://hdl.handle.net/20.500.12708/51487
  Project: Dialogspielsemantik (2006–2008)
• Model Representation via Contexts and Implicit Generalizations / Fermüller, C., & Pichler, R. (2006). Model Representation via Contexts and Implicit Generalizations. In Logics in Artificial Intelligence (LNAI) (pp. 164–176). Springer-Verlag. http://hdl.handle.net/20.500.12708/51419

2005

• Uniform Rules and Dialogue Games for Fuzzy Logics / Ciabattoni, A., Fermüller, C., & Metcalfe, G. (2005). Uniform Rules and Dialogue Games for Fuzzy Logics. In F. Baader & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 496–510). Springer. http://hdl.handle.net/20.500.12708/50977
• The Resolution Principle / Leitsch, A., & Fermüller, C. (2005). The Resolution Principle. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of Philosophical Logic, 2nd ed., Volume 12 (pp. 87–173). Springer. http://hdl.handle.net/20.500.12708/25357
• The Enigma of Quantifying Vague Information / Fermüller, C. (2005). The Enigma of Quantifying Vague Information. The Logic of Soft Computing~IV and 4th ERCIM, Ostrava, Czech Republic, Austria. http://hdl.handle.net/20.500.12708/84452
• Decision Procedure and Model Building Based on Hypersequent Calculi / Fermüller, C. (2005). Decision Procedure and Model Building Based on Hypersequent Calculi. LPAR Workshop on Analytic Proof Systems, Montevideo, Uruguay, Austria. http://hdl.handle.net/20.500.12708/84453
• From classical to many-valued reasoning via dialogue games / Fermüller, C. (2005). From classical to many-valued reasoning via dialogue games. Second Florence-Vienna Workshop on Logic and Computation, Florence, Italy, Austria. http://hdl.handle.net/20.500.12708/84451
• From classical to many-valued reasoning via dialogue games / Fermüller, C. (2005). From classical to many-valued reasoning via dialogue games. Dpt. of Computer Sciences, Czech Academy of Sciences, Prague, Cech Republic, Austria. http://hdl.handle.net/20.500.12708/84450
• Analytic Systems and Dialogue Games / Fermüller, C. (2005). Analytic Systems and Dialogue Games. In B. Beckert (Ed.), TABLEAUX 2005, Position Papers and Tutorial Descriptions (pp. 43–52). Fachberichte Informatik. http://hdl.handle.net/20.500.12708/51135
• Model Representation via Contexts and Implicit Generalizations / Fermüller, C., & Pichler, R. (2005). Model Representation via Contexts and Implicit Generalizations. In Automated Deduction - CADE-20 (pp. 409–423). Springer Science + Business Media. http://hdl.handle.net/20.500.12708/51026

2004

• Dialogue games as foundation of fuzzy logics / Fermüller, C. (2004). Dialogue games as foundation of fuzzy logics. 3rd Moscow-Vienna Workshop on Logic and Computation, Moskow, Austria. http://hdl.handle.net/20.500.12708/84378
• Revisiting Giles: On Bets, Dialogue Games, Fuzzy logics, and Hypersequents / Fermüller, C. (2004). Revisiting Giles: On Bets, Dialogue Games, Fuzzy logics, and Hypersequents. COS - ESF Exploratory Workshop ``The Challenge of Semantics’, Vienna, Austria. http://hdl.handle.net/20.500.12708/84377
• Fuzzy Logics from First Principles / Fermüller, C. (2004). Fuzzy Logics from First Principles. Paris-Vienna Workshop 2004 on Proof Systems, Paris, Austria. http://hdl.handle.net/20.500.12708/84376
• Revisiting Giles: Connecting Bets, Dialogue Games, and Fuzzy Logics / Fermüller, C. (2004). Revisiting Giles: Connecting Bets, Dialogue Games, and Fuzzy Logics. Logic, Games and Philosophy - Foundational Perspectives, Prague, Czech Republic, Austria. http://hdl.handle.net/20.500.12708/84372
• A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth / Fermüller, C. (2004). A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth. First Florence-Vienna Workshop on Logic and Computation, Florence, Italy, Austria. http://hdl.handle.net/20.500.12708/84234

2002

• Parallel Dialogue Games for Gödel Logic / Fermüller, C. (2002). Parallel Dialogue Games for Gödel Logic. Amadee-Meeting, Universite Paris VII, Paris, France, Austria. http://hdl.handle.net/20.500.12708/84119
• Characterizing Gödel logic by parallellizing Lorenzen's dialogue semantics / Fermüller, C. (2002). Characterizing Gödel logic by parallellizing Lorenzen’s dialogue semantics. Accion Integrada Meeting, Bellaterra, Spain, Austria. http://hdl.handle.net/20.500.12708/84118
• A Natural Deduction System for Intuitionistic Fuzzy Logic / Fermüller, C. (2002). A Natural Deduction System for Intuitionistic Fuzzy Logic. Moscow-Vienna Workshop on Logic and Computation, Moscow, Austria. http://hdl.handle.net/20.500.12708/84117
• Parallel Dialogue Games for Intermediate Logics / Fermüller, C. (2002). Parallel Dialogue Games for Intermediate Logics. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Phnom Penh, Cambodia, Non-EU. http://hdl.handle.net/20.500.12708/84116

• Unpacking the argument : A claim-centric view on abstract argumentation / Rapberger, A. (2023). Unpacking the argument : A claim-centric view on abstract argumentation [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.112445
  Download: PDF (2.96 MB)
• Fuzzy logic based judgment aggretation / Uhl, S. (2023). Fuzzy logic based judgment aggretation [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.101246
  Download: PDF (1.29 MB)
• Game semantics - The full abstraction problem for PCF / Ruiss, M. (2022). Game semantics - The full abstraction problem for PCF [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.82700
  Download: PDF (918 KB)
• Argumentation theory and alternative semantics for non-classical logics / Corsi, E. A. (2021). Argumentation theory and alternative semantics for non-classical logics [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.99022
  Download: PDF (1.41 MB)
• Games, modalities and analytic proofs in nonclassical logics / Lang, T. A. (2021). Games, modalities and analytic proofs in nonclassical logics [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.92047
  Download: PDF (1.03 MB)
• Axiomatic truth theories and reflection principles / De Coster, A. (2021). Axiomatic truth theories and reflection principles [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.67441
  Download: PDF (1.09 MB)
• Nonclassical approaches to judgement aggregation / Reitgruber, M. (2020). Nonclassical approaches to judgement aggregation [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.66522
  Download: PDF (669 KB)
• Comparison and analysis of constructive set theories / Freiman, R. (2020). Comparison and analysis of constructive set theories [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.66523
  Download: PDF (1.51 MB)
• Modellierung vager natürlichsprachlicher Quantoren über Dialogspiele und Fuzzy Logik / Hofer, M. F. J. (2019). Modellierung vager natürlichsprachlicher Quantoren über Dialogspiele und Fuzzy Logik [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2019.66687
  Download: PDF (2.2 MB)
• Implementierung und Vergleich von Quantoren-Fuzzifikationsmechanismen / Okulmus, C. (2018). Implementierung und Vergleich von Quantoren-Fuzzifikationsmechanismen [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.52030
  Download: PDF (1 MB)
• Formal reasoning about fuzzy evaluation games / Ivanov, S. (2018). Formal reasoning about fuzzy evaluation games [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.54982
  Download: PDF (951 KB)
• Rätselhafte Ignoranz : ein Rundgang durch epistemische Logik : a modal epistemic tour / Oliveira da Costa, A. A. (2018). Rätselhafte Ignoranz : ein Rundgang durch epistemische Logik : a modal epistemic tour [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.51200
  Download: PDF (906 KB)
• Mehrwertige Logiken für Spiele / Lanzinger, M. P. (2017). Mehrwertige Logiken für Spiele [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2017.33948
  Download: PDF (781 KB)
• Analyzing fuzzy and contextual approaches to vagueness by semantic games / Roschger, C. (2014). Analyzing fuzzy and contextual approaches to vagueness by semantic games [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.26871
  Download: PDF (1.82 MB)
• A framework for Giles-style evaluation games / Kausl, M. (2013). A framework for Giles-style evaluation games [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159735
• Combining supervaluation and fuzzy logic based theories of vagueness / Krinninger, S. (2011). Combining supervaluation and fuzzy logic based theories of vagueness [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-44765
  Download: PDF (717 KB)
• Logics for coalitional games of imperfect information / Seitz, G. (2011). Logics for coalitional games of imperfect information [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-43434
  Download: PDF (805 KB)
• Renewing cognitive science / Slivovsky, F. (2009). Renewing cognitive science [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-28955
  Download: PDF (473 KB)
• Dialogue games for fuzzy logics / Roschger, C. (2008). Dialogue games for fuzzy logics [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-26701
  Download: PDF (897 KB)
• Fuzzy logics in the context of theories of vagueness / Schütz, M. (2008). Fuzzy logics in the context of theories of vagueness [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-19111
  Download: PDF (799 KB)
• Fuzzy logic and supervaluationism / Bradley, J. (2007). Fuzzy logic and supervaluationism [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-19995
  Download: PDF (738 KB)
• Supervised learning of wrappers from structured data sources / Ceresna, M. (2005). Supervised learning of wrappers from structured data sources [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-16619
  Download: PDF (4.73 MB)