Wissenschaftliche Artikel

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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)

Beiträge in Tagungsbänden

Pimentel, E., Olarte, C., Lang, T., Freiman, R., & Fermüller, C. G. (2025). Playing with Modalities. In 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025). 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), Amsterdam, Netherlands (the). Schloss Dagstuhl. https://doi.org/10.4230/LIPIcs.CSL.2025.4 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
Fermüller, C. (2014). Semantic Games with Backtracking for Fuzzy Logics. In 2014 IEEE 44th International Symposium on Multiple-Valued Logic. ISMVL 2014, Bremen, Germany. https://doi.org/10.1109/ismvl.2014.15 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)

Beiträge in Büchern

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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)

Bücher

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 ( reposiTUm)

Tagungsbände

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 ( reposiTUm)

Präsentationen

Fermüller, C. (2024, January 15). Games in Logic [Conference Presentation]. World logic day 2024, Wien, Austria. ( reposiTUm)
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. ( reposiTUm)
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. ( reposiTUm)
Fermüller, C. (2023, October 28). Judgment Aggregation with Graded Deontic Logics [Conference Presentation]. Reasoning with Imperfect Information in Social Settings 2023, Pisa, Italy. ( reposiTUm)
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. ( reposiTUm)
Fermüller, C. (2023, May 24). From Producer-Consumer Games to Substructural Calculi [Conference Presentation]. Plexus Inaugural Conference, Lisbon, Portugal. ( reposiTUm)
Fermüller, C. (2022, August 9). Re-visiting Giles’s game [Conference Presentation]. Reasoning and uncertainty: probabilistic, logical, and psychological perspectives, Regensburg, Germany. ( reposiTUm)
Fermüller, C. (2022, June 16). From Semantic Games to Analytic Calculi [Conference Presentation]. Czech Gathering of Logicians, Prag, Czechia. ( reposiTUm)
Baaz, M., Fermüller, C., & Preining, N. (2022, September). Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with Delta [Conference Presentation]. Logic Algebra and Truth Degrees Conference LATD 2022, Paestum, Salerno, Italy. https://doi.org/10.34726/3641 ( reposiTUm)
Baaz, M., Fermüller, C., & Preining, N. (2022, September). Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with Delta [Conference Presentation]. Logic Algebra and Truth Degrees Conference LATD 2022, Paestum, Salerno, Italy. ( reposiTUm)
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 ( reposiTUm)
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. ( reposiTUm)
Fermüller, C. (2021). Revisting Brandom’s Incompatibility Semantics. Logica 2021, Hejnice, Czechia. http://hdl.handle.net/20.500.12708/87232 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
Fermüller, C. (2018). Games and analytic proof systems. PhDs in Logic X, Prag, Czechia. http://hdl.handle.net/20.500.12708/86791 ( reposiTUm)
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 ( reposiTUm)
Fermüller, C. (2017). A logical perspective on argumentation. Metaphor and Argumentation, Cagliari, Italy. http://hdl.handle.net/20.500.12708/86535 ( reposiTUm)
Fermüller, C. (2017). Connecting Argumentation, Incompatibility Semantics, Nmatrices, and Relevance Logics. ISRALOG 2017, Haifa, Israel. http://hdl.handle.net/20.500.12708/86560 ( reposiTUm)
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 ( reposiTUm)
Fermüller, C. (2016). Giles’ Game - Recent Developments and Challenges. Magica 16, Mailand, Italy. http://hdl.handle.net/20.500.12708/86313 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
Fermüller, C. (2015). Game Semantics for Vague Quantifiers. Logica 2015, Hejnice, Czechia. http://hdl.handle.net/20.500.12708/86095 ( reposiTUm)
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, Georgia. http://hdl.handle.net/20.500.12708/86097 ( reposiTUm)
Fermüller, C. (2014). Vagueness and logical dialogue games. Workshop on Vagueness via Nonclassical Logics, Sydney, Australia. http://hdl.handle.net/20.500.12708/85962 ( reposiTUm)
Fermüller, C. (2014). From truth-functional to substructural logics via semantic games. AsubL take 5, Mrlbourne, Australia. http://hdl.handle.net/20.500.12708/85961 ( reposiTUm)
Fermüller, C. (2014). n Equilibrium Semantics for IF-Logic and Many-Valued Connectives. ISRALOG 2014, Haifa, Israel. http://hdl.handle.net/20.500.12708/85960 ( reposiTUm)
Fermüller, C. (2014). Parallel Dialogue Games and Hypersequents. Workshop on Proofs as Processes, Kanazawa, Japan. http://hdl.handle.net/20.500.12708/85959 ( reposiTUm)
Fermüller, C. (2013). Many Values in Semantic Games. Logica, Hejnice, Czechia. http://hdl.handle.net/20.500.12708/85578 ( reposiTUm)
Fermüller, C. (2013). Games semantics for deterministic and nondeterministic many-valued logics. UniLog 2013, Rio de Janeiro, Brazil. http://hdl.handle.net/20.500.12708/85553 ( reposiTUm)
Fermüller, C. (2013). Game Based Interpretations of Mathematical Fuzzy Logics. 2nd Workshop on Algebraic Logics and Mathematical Fuzzy Logic, Prag, Czechia. http://hdl.handle.net/20.500.12708/85675 ( reposiTUm)
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, Germany. http://hdl.handle.net/20.500.12708/85579 ( reposiTUm)
Fermüller, C. (2012). On Matrices, Nmatrices, and Games. Logic: Between Semantics and Proof Theory, Tel-Aviv, Israel. http://hdl.handle.net/20.500.12708/85428 ( reposiTUm)
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, United Kingdom of Great Britain and Northern Ireland (the). http://hdl.handle.net/20.500.12708/85427 ( reposiTUm)
Fermüller, C. (2012). Randomizing Giles’s Game for Fuzzy Quantification. Games, Game Theory and Game Semantics: Philosophical and Scientific Perspectives, Riga, Lithuania. http://hdl.handle.net/20.500.12708/85426 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
Fermüller, C. (2009). Some Critical Remarks on Incompatibility Semantics. Logica 2009, Hejnice, Czech Republic, EU. http://hdl.handle.net/20.500.12708/84913 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
Fermüller, C. (2008). Truth Value Intervals, Bets, and Dialogue Games. Logica 2008, Hejnice, EU. http://hdl.handle.net/20.500.12708/84752 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
Fermüller, C. (2008). Brandom’s “incompatibilty semantics.” Kolloquium Institut Wiener Kreis (IVC), Wien, Austria. http://hdl.handle.net/20.500.12708/84827 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
Fermüller, C. (2007). Logische Dialogspiele als formale Semantik. Institute Vienna Circle, Wien, Austria. http://hdl.handle.net/20.500.12708/84623 ( reposiTUm)
Fermüller, C. (2007). Games in logic and logic in games. Institute Vienna Circle, Wien, Austria. http://hdl.handle.net/20.500.12708/84622 ( reposiTUm)
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 ( reposiTUm)
Fermüller, C. (2007). Dialogue games as foundations of fuzzy logics. 3rd Moscow-Vienna Workshop on Logic and Computation, Moskau, Russian Federation (the). http://hdl.handle.net/20.500.12708/84618 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
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 ( reposiTUm)
Fermüller, C. (2002). Parallel Dialogue Games for Intermediate Logics. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Phnom Penh, Cambodia. http://hdl.handle.net/20.500.12708/84116 ( reposiTUm)

Spezialbeiträge

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 ( reposiTUm)