 | 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; Cabrer, Leonardo Manuel (2015). Exact Unification and Admissibility. Logical methods in computer science, 11(3), pp. 1-15. Department of Theoretical Computer Science, Technical University of Braunschweig 10.2168/LMCS-11(3:23)2015
Diaconescu, Denisa; Metcalfe, George; Schnüriger, Laura Janina (2018). A real-valued modal logic. Logical methods in computer science, 14(1), pp. 1-27. Department of Theoretical Computer Science, Technical University of Braunschweig 10.23638/LMCS-14(1:10)2018
van Gool, Sam; Guatto, Adrien; Metcalfe, George; Santschi, Simon (2024). Deciding Equations in the Time Warp Algebra. Logical methods in computer science, 20(1) Department of Theoretical Computer Science, Technical University of Braunschweig 10.46298/lmcs-20(1:8)2024
