George Metcalfe

Showing 1 - 5 results of 5 for search 'George Metcalfe', query time: 0.02s
Refine Results
-
1
Admissibility in Finitely Generated Quasivarieties by George Metcalfe, Christoph Röthlisberger
Published 2013-06-01
Article -
2
Exact Unification and Admissibility by George Metcalfe, Leonardo Cabrer
Published 2015-09-01
Article -
3
Towards a Proof Theory of G\"odel Modal Logics by George Metcalfe, Nicola Olivetti
Published 2011-05-01
Article -
4
A Real-Valued Modal Logic by Denisa Diaconescu, George Metcalfe, Laura Schnüriger
Published 2018-01-01
Article -
5
Deciding Equations in the Time Warp Algebra by Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Published 2024-01-01
Article