91̽»¨

Graham E. Leigh, Daichi Hayashi
arXiv math.LO - 2025

Daichi Hayashi, Graham E. Leigh
GUPEA - 2025

Bahareh Afshari, Graham E. Leigh
GUPEA - 2025

Graham E. Leigh, Anton Pertun Broberg
GUPEA - 2025

Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
arXiv - 2024

Daichi Hayashi, Graham E. Leigh
Logic, Language, Information, and Computation, 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024 / Editors: George Metcalfe, Thomas Studer, Ruy de Queiroz - 2024

Volker Halbach, Graham E. Leigh
2024

Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger
Advances in Modal Logic 2024 - 2024

Graham E. Leigh, Dominik Wehr
Annals of Pure and Applied Logic - 2024

Bahareh Afshari, S. Enqvist, Graham E. Leigh
Logic Journal of the IGPL - 2024

Mattias Granberg Olsson, Graham E. Leigh
Archive for Mathematical Logic - 2024

Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh, Johannes Marti, Yde Venema
Journal of Symbolic Logic - 2023

Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger
Automated Reasoning with Analytic Tableaux and Related Methods, 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings / Editors: Revantha Ramanayake, Josef Urban - 2023

Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
Leibniz International Proceedings in Informatics, LIPIcs Volume 2521, February 2023, EACSL Annual Conference on Computer 91̽»¨ Logic, CSL 2023, Warsaw, 13 February 2023 through 16 February 2023 - 2023

Graham E. Leigh
Özgün, A., Zinova, Y. (eds) Language, Logic, and Computation. TbiLLC 2019. Lecture Notes in Computer 91̽»¨, vol 13206 - 2022

Bahareh Afshari, Graham E. Leigh
Language, Logic, and Computation, 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers / editors: Aybüke Özgün, Yulia Zinova - 2022

Paul Kindvall Gorbow, Graham E. Leigh
The Review of Symbolic Logic - 2022

Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
Automated Reasoning with Analytic Tableaux and Related Methods, 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings / Anupam Das, Sara Negri (eds.) - 2021

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Annals of Pure and Applied Logic - 2020

Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
Lecture Notes in Computer 91̽»¨ 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / editors: Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy - 2019

Volker Halbach, Graham E. Leigh
Stanford Encyclopedia of Philosophy - 2018

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
2018

Leon Horsten, Graham E. Leigh
Mind - 2017

Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer 91̽»¨ (LICS), 20-23 June 2017, Reykjavik Iceland - 2017

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Concepts of Proof in Mathematics, Philosophy, and Computer 91̽»¨ / Dieter Probst, Peter Schuster (eds.) - 2016

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM) and Deutsche Mathematiker-Vereinigung (DMV), Braunschweig 2016; Editors: V. Bach and H. Fassbender - 2016

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Proceedings Sixth International Workshop on Classical Logic and Computation (CL&C16). Porto, Portugal , 23th June 2016 - 2016

Graham E. Leigh
IfCoLog Journal of Logics and their Applications - 2016

Bahareh Afshari, Graham E. Leigh
2016

Bahareh Afshari, Graham E. Leigh
Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the Gesellschaft für Angewandte Mathematik und Mechanik, held 7 – 11 March 2016 at TU Braunschweig, Germany. - 2016

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Leibniz International Proceedings in Informatics, LIPIcs - 2015

Graham E. Leigh
Unifying the Philosophy of Truth - 2015

Graham E. Leigh
Journal of Symbolic Logic - 2015

Graham E. Leigh, Volker Halbach
Stanford Encyclopedia of Philosophy (Summer 2014 Edition) - 2014

Bahareh Afshari, Graham E. Leigh
Leibniz International Proceedings in Informatics, LIPIcs - 2013

Graham E. Leigh
Annals of Pure and Applied Logic - 2013

Graham E. Leigh, Carlo Nicolai
Review of Symbolic Logic - 2013

Leon Horsten, Graham E. Leigh, Hannes Leitgeb, Philip Welch
The Review of Symbolic Logic - 2012

Graham E. Leigh, Michael Rathjen
Journal of Symbolic Logic - 2012

Graham E. Leigh
Numbers and truth, Göteborg, Sweden, October 19-21, 2012 - 2012

Graham E. Leigh, Michael Rathjen
Archive for Mathematical Logic - 2010

Graham E. Leigh
2010

Graham E. Leigh
Bulletin of Symbolic Logic - 2010