About

1) Theoretical Computer Science2) Artificial Intelligence3) Automated Deduction4) Natural Language Processing5) Logic and Foundations of Mathematics6) Mathematical Fuzzy Logic7) Computational Intelligence8) Formal Models of Reasoning Under Vagueness9) Proof Theory and Proof Search in Non-Classical Logics

Role

Associate Professor
Theory and Logic, E192-05

Contact

Courses

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
Introduction to Theoretical Computer Science and Logics / 192.071 / VU
Non-classical Logics / 192.085 / VU
Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
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
Scientific Research and Writing / 193.052 / SE
Seminar in Logic / 185.316 / SE

Projects

A Logical Framwork for Graded Deontic Reasoning
2025 – 2027 / Austrian Science Fund (FWF)
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

Publications

2024

Probabilistic interpretations of argumentative attacks: logical and experimental foundations / Fermüller, C. (2024, November 8). Probabilistic interpretations of argumentative attacks: logical and experimental foundations [Conference Presentation]. 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Viet Nam.
Judgment Aggregation with Fuzzy Deontic Logics / Fermüller, C. G. (2024, July 23). Judgment Aggregation with Fuzzy Deontic Logics [Conference Presentation]. IPMU2024 - 20th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Lissabon, Portugal.
Reasoning About Group Polarization: From Semantic Games to Sequent Systems / Freiman, R., Olarte, C., Pimentel, E., & Fermüller, C. (2024). Reasoning About Group Polarization: From Semantic Games to Sequent Systems. In N. Bjørner, M. J. H. Heule, & A. Voronkov (Eds.), Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 70–87). EasyChair. https://doi.org/10.29007/WPTZ
A Simple Token Game and its Logic / Fermüller, C., Freiman, R., & Lang, T. (2024). A Simple Token Game and its Logic. In N. Bjørner, M. J. H. Heule, & A. Voronkov (Eds.), Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 341–359). EasyChair. https://doi.org/10.29007/6WTM
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

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
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
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. http://hdl.handle.net/20.500.12708/86789
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. http://hdl.handle.net/20.500.12708/86790
Games and analytic proof systems / Fermüller, C. (2018). Games and analytic proof systems. PhDs in Logic X, Prag, Czechia. http://hdl.handle.net/20.500.12708/86791
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, Germany. http://hdl.handle.net/20.500.12708/86792
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. http://hdl.handle.net/20.500.12708/86793
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 (the). http://hdl.handle.net/20.500.12708/86794
Substructural Calculi and Games of Information Extraction / Fermüller, C. (2018). Substructural Calculi and Games of Information Extraction. Forschungsseminar Informatik, Uni Bamberg, Bamberg, Germany. http://hdl.handle.net/20.500.12708/86796
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
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
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

2017

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
Connecting Argumentation, Incompatibility Semantics, Nmatrices, and Relevance Logics / Fermüller, C. (2017). Connecting Argumentation, Incompatibility Semantics, Nmatrices, and Relevance Logics. ISRALOG 2017, Haifa, Israel. http://hdl.handle.net/20.500.12708/86560
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
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
A logical perspective on argumentation / Fermüller, C. (2017). A logical perspective on argumentation. Metaphor and Argumentation, Cagliari, Italy. http://hdl.handle.net/20.500.12708/86535
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, France. http://hdl.handle.net/20.500.12708/86559
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)

2016

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, Prag, Czechia. http://hdl.handle.net/20.500.12708/86297
Giles' Game - Recent Developments and Challenges / Fermüller, C. (2016). Giles’ Game - Recent Developments and Challenges. Magica 16, Mailand, Italy. http://hdl.handle.net/20.500.12708/86313
Interpreting Sequent Calculi as Client-Server Games / Fermüller, C. (2016). Interpreting Sequent Calculi as Client-Server Games. Syntax Meets Semantics 2016, Barcelona, Spain. http://hdl.handle.net/20.500.12708/86315
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
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
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

2015

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, Italy. http://hdl.handle.net/20.500.12708/86094
Game Semantics for Vague Quantifiers / Fermüller, C. (2015). Game Semantics for Vague Quantifiers. Logica 2015, Hejnice, Czechia. http://hdl.handle.net/20.500.12708/86095
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, Romania. http://hdl.handle.net/20.500.12708/86096
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
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

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
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
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
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

2009

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
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
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 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 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 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

Supervisions

From semantic games to analytic calculi / Freiman, R. (2024). From semantic games to analytic calculi [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.126860
Download: PDF (1.38 MB)
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
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)
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)
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)
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)
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 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)

Related

Christian Fermüller

Research Focus

Research Areas