College Publications

2024

Van den Berg sel., Line; Busaniche, Manuela; Marcos, Miguel; Metcalfe, George (2024). Towards an algebraic theory of KD45-like logics. In: Proceedings of AiML 2024. Advances in Modal Logic: Vol. 15 (pp. 171-186). College Publications

2022

Cintula, Petr; Metcalfe, George; Tokuda, Naomi (2022). Algebraic semantics for one-variable lattice-valued logics. In: Fernández-Duque, David; Palmigiano, Alessandra; Pinchinat, Sophie (eds.) Proceedings of AiML 2022. Advances in Modal Logic: Vol. 14 (pp. 237-257). College Publications

Isaac, Manuel Gustavo; Belleri, Delia; Brun, Georg; Decock, Lieven; Koch, Steffen; Pollock, Joey; Reuter, Kevin (2022). Which method(s) for conceptual engineering? (In Press). In: Proceedings of the Congress for Logic, Methodology, and Philosophy of Science and Technology 2019. London: College Publications

Rooduijn, Jan; Zenger, Lukas (2022). An analytic proof system for common knowledge logic over S5. In: Fernández-Duque, David; Palmigiano, Alessandra; Pinchinat, Sophie (eds.) Proceedings of AiML 2022. Advances in Modal Logic: Vol. 14 (pp. 659-680). College Publications

2021

Lehmann, Eveline; Studer, Thomas (2021). Exploring Subset Models for Justification Logic. In: Fitting, Melvin (ed.) Selected Topics from Contemporary Logics. London: College Publications

Freivogel, Andreas (2021). Modelling Reflective Equilibrium with Belief Revision Theory. In: Blicha, Martin; Sedlar, Igor (eds.) The Logica Yearbook 2020 (pp. 65-80). Rickmansworth: College Publications

2020

Metcalfe, George; Tuyt, Olim (2020). A monadic logic of ordered abelian groups. In: Olivetti, Nicola; Verbrugge, Rineke; Negri, Sara; Sandu, Gabriel (eds.) Proceedings of AiML 2020. Advances in Modal Logic: Vol. 13 (pp. 441-457). College Publications

2019

Savic, Nenad; Studer, Thomas (2019). Relevant Justification Logic. Journal of applied logics, 6(2), pp. 397-412. College Publications

2018

Marti, Michel; Studer, Thomas (2018). The Internalized Disjunction Property for Intuitionistic Justification Logic. In: Bezhanishvili, Guram; D'Agostino, Giovanna; Metcalfe, George; Studer, Thomas (eds.) Advances in Modal Logic 12 (pp. 511-529). College Publications

2016

Metcalfe, George; Diaconescu, Denisa; Schnüriger, Laura Janina (2016). Axiomatizing a Real-Valued Modal Logic. In: Beklemishev, Lev; Demri, Stéphane; Máté, András (eds.) Advances in Modal Logic 11 (pp. 236-251). College Publications

Jäger, Gerhard; Marti, Michel (2016). A canonical model construction for intuitionistic distributed knowledge. In: Beklemishev, Lev; Demri, Stéphane; Máté, András (eds.) Advances in Modal Logic. Advances in Modal Logic 2016: Vol. 11 (pp. 420-434). College Publications

Marti, Michel; Studer, Thomas (2016). Intuitionistic modal logic made explicit. The IfCoLog Journal of Logics and their Applications, 3(5), pp. 877-901. College Publications

2014

Metcalfe, George; Marti, Michel (2014). A Hennessy-Milner Property for Many-Valued Modal Logics. In: Goré, Rajeev; Kooi, Barteld; Kurucz, Agi (eds.) Advances in Modal Logic. Advances in Modal Logic: Vol. 10 (pp. 407-420). London: College Publications

2012

Kuznets, Roman; Studer, Thomas (2012). Justifications, Ontology, and Conservativity. In: Bolander, Thmas; Braüner, Torben; Ghilardi, Silvio; Moss, Lawrence (eds.) Advances in Modal Logic, volume 9 (pp. 437-458). College Publications

2011

Metcalfe, George (2011). Proof Theory of Mathematical Fuzzy Logic. In: Handbook of Mathematical Fuzzy Logic. Studies in Logic: Vol. 37 (pp. 209-282). College Publications

2010

Brünnler, Kai; Goetschi, Remo; Kuznets, Roman (2010). A syntactic realization theorem for justification logics. In: Beklemishev, Lev; Goranko, Valentin; Shehtman, Valentin (eds.) Advances in modal logic, volume 8 (pp. 39-58). College Publications

2009

Romeijn, J.W.; Haenni, R.; Wheeler, G.; Williamson, J. (2009). Logical Relations in a Statistical Problem. In: Löwe, Benedikt; Pacuit, Eric; Romeijn, Jan-Willem (eds.) Foundation of the formal Sciences VI. Probabilistic Reasoning and Reasoning with Probabilities. Studies in Logic (pp. 49-79). College Publications

Jacquette, Dale (2009). Jacquette,Dale. In: Gabbay, Dov; Woods, John (eds.) International Directory of Logicians. College Publications

Jäger, Gerhard (2009). Operations, sets and classes. In: 13th International Congress of Logic, Methodology and Philosophy of Science (pp. 74-96). London: College Publications

2006

Brünnler, Kai (2006). Deep Sequent Systems for Modal Logic. In: Governatori, Guido; Hodkinson, Ian; Venema, Yde (eds.) Advances in Modal Logic. Volume 6 (pp. 107-119). College Publications