 | Up a level |
Metcalfe, George; Olivetti, Nicola (2011). Towards a Proof Theory of Gödel Modal Logics. Logical methods in computer science, 7(2), p. 27. Braunschweig: Department of Theoretical Computer Science, Technical University of Braunschweig 10.2168/LMCS-7(2:10)2011
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
Metcalfe, George; Olivetti, Nicola (2009). Proof Systems for a Gödel Modal Logic. In: Giese, Martin; Waaler, Arild (eds.) Automated Reasoning with Analytic Tableaux and Related Methods. 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5607 (pp. 265-279). Heidelberg: Springer Verlag 10.1007/978-3-642-02716-1_20
