Mattias Granberg Olsson and Graham E. Leigh
Revisiting the conservativity of fixpoints over intuitionistic arithmetic
Archive for Mathematical Logic, 2024.
See publication on GUP

Bahareh Afshari, S. Enqvist and Graham E. Leigh
Cyclic proofs for the first-order mu-calculus
Logic Journal of the IGPL, 2024.
See publication on GUP

Bahareh Afshari and Dominik Wehr
Abstract Cyclic Proofs
Mathematical Structures in Computer Science, 2024.
See publication on GUP

Bahareh Afshari, Graham E. Leigh and Guillermo Menéndez Turata
A Cyclic Proof System for Full Computation Tree Logic
Leibniz International Proceedings in Informatics, LIPIcs Volume 2521, February 2023, EACSL Annual Conference on Computer Science Logic, CSL 2023, Warsaw, 13 February 2023 through 16 February 2023, 2023.
See publication on GUP

Bahareh Afshari and Dominik Wehr
Exact Bounds for Acyclic Higher-Order Recursion Schemes
Information and Computation, 2023.
See publication on GUP

Dominik Wehr
Representation matters in cyclic proof theory
, 2023.
See publication on GUP

Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh and Lukas Zenger
Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic
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.
See publication on GUP

Dominik Wehr and D. Kirst
Material dialogues for first-order logic in constructive type theory: extended version
Mathematical Structures in Computer Science, 2023.
See publication on GUP

Felix Larsson and Martin Kaså
Re: the rhetic
Synthese, 2023.
See publication on GUP

Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh, Johannes Marti and Yde Venema
Proof Systems for Two-Way Modal Mu-Calculus
Journal of Symbolic Logic, 2023.
See publication on GUP

Jelle Tjeerd Fokkens and Fredrik Engström
Cognitively adequate complexity of reasoning in a description logic
CEUR Workshop Proceedings. Joint of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation, KoDis + CAKR 2023, Rhodes, Greece, September 3-4, 2023 / Baker C., Alvarez L.G., Heyninck J., Heyninck J., Meyer T., Penaloza R., Vesic S. (eds.), 2023.
See publication on GUP

Dominik Wehr and Dominik Kirst
Material Dialogues for First-Order Logic in Constructive Type Theory
Logic, Language, Information, and Computation, 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings / Editors: Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz, 2022.
See publication on GUP

Paul Kindvall Gorbow and Graham E. Leigh
The Copernican Multiverse of Sets
The Review of Symbolic Logic, 2022.
See publication on GUP

Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin and Aleksandre Maskharashvili
Bayesian Inference Semantics for Natural Language
Probabilistic Approaches to Linguistic Theory / edited by Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, Aleksandre Maskharashvili., 2022.
See publication on GUP

Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin and Aleksandre Maskharashvili
Probabilistic Approaches to Linguistic Theory
, 2022.
See publication on GUP

Bahareh Afshari and Graham E. Leigh
Lyndon Interpolation for Modal μ-Calculus
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.
See publication on GUP

Graham E. Leigh
From Paradox to Truth
Özgün, A., Zinova, Y. (eds) Language, Logic, and Computation. TbiLLC 2019. Lecture Notes in Computer Science, vol 13206, 2022.
See publication on GUP

Christian Bennet and Rasmus Blanck
Never trust an unsound theory
Theoria, 2022.
See publication on GUP

Bahareh Afshari and Dominik Wehr
Abstract Cyclic Proofs (Extended abstract)
Lecture Notes in Computer Science, 28th International Workshop on Logic, Language, Information and Computation, Iași, Romania, September 20–23, 2022, Proceedings, 2022.
See publication on GUP

Bahareh Afshari, Graham E. Leigh and Guillermo Menéndez Turata
Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus
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.
See publication on GUP

Rasmus Blanck
Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
The Review of Symbolic Logic, 2021.
See publication on GUP

Rasmus Blanck and Aleksandre Maskharashvili
From Tree Adjoining Grammars to Higher Order Representations of Abstract Meaning Representations via Abstract Categorial Grammars
Loukanova R. (eds) Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018). Studies in Computational Intelligence, vol 860., 2020.
See publication on GUP

Jean-Philippe Bernardy, Rasmus Blanck and Aleksandre Maskharashvili
A logic with measurable spaces for natural language semantics
Applied Mathematics, Informatics And Mechanics, 2020.
See publication on GUP

Bahareh Afshari
Cyclic Proof Systems for Modal Logics
13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020, 2020.
See publication on GUP

Bahareh Afshari, Stefan Hetzl and Graham E. Leigh
Herbrand’s theorem as higher order recursion
Annals of Pure and Applied Logic, 2020.
See publication on GUP

Paul Kindvall Gorbow
Rank-initial embeddings of non-standard models of set theory
Archive for Mathematical Logic, 2020.
See publication on GUP

Jean-Philippe Bernardy, Rasmus Blanck and Aleksandre Maskharashvili
A Logic with Measurable Spaces for Natural Language Semantics
TbiLLC 2019: Thirteenth International Tbilisi Symposium on Language, Logic and Computation,16-20 September 2019., 2019.
See publication on GUP

Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin and Aleksandre Maskharashvili
Predicates as Boxes in Bayesian Semantics for Natural Language
Proceedings of the 22nd Nordic Conference on Computational Linguistics (NoDaLiDa 2019), 30 September-2 October, 2019, Turku, Finland / Mareike Hartmann, Barbara Plank (Editors), 2019.
See publication on GUP

Bahareh Afshari, Gerhard Jäger and Graham E. Leigh
An infinitary treatment of full mu-calculus
Lecture Notes in Computer Science 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / editors: Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy , 2019.
See publication on GUP

Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin and Aleksandre Maskharashvili
Bayesian Inference Semantics: A Modelling System and A Test Suite
Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics (*SEM), 6-7 June 2019, Minneapolis, Minnesota, USA / Rada Mihalcea, Ekaterina Shutova, Lun-Wei Ku, Kilian Evang, Soujanya Poria (Editors), 2019.
See publication on GUP

Paul Kindvall Gorbow
Algebraic New Foundations
Journal of Symbolic Logic, 2019.
See publication on GUP

Dennis Bonnay and Fredrik Engström
Invariance and Definability, with and without Equality
Notre Dame Journal of Formal Logic, 2018.
See publication on GUP

Bahareh Afshari, Stefan Hetzl and Graham E. Leigh
Herbrand’s Theorem as Higher Order Recursion
, 2018.
See publication on GUP

Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis and Shalom Lappin
A Compositional Bayesian Semantics for Natural Language
Proceedings of the First International Workshop on Language Cognition and Computational Models, COLING 2018, August 20, 2018 Santa Fe, New Mexico, USA, 2018.
See publication on GUP

Volker Halbach and Graham E. Leigh
Axiomatic Theories of Truth
Stanford Encyclopedia of Philosophy, 2018.
See publication on GUP

Rasmus Blanck and Aleksandre Maskharashvili
From TAG to HOL Representations of AMRs via ACGs
Proceedings of the Symposium on Logic and Algorithms in Computational Linguistics 2018. Stockholm, 28–31 August 2018 / Krasimir Angelov, Kristina Liefke, Roussanka Loukanova, Michael Moortgat, Satoshi Tojo (eds.), 2018.
See publication on GUP

Martin Kaså and Felix Larsson
Neustic Nuances
Semantics and Philosophy in Europe – SPE10, 2018.
See publication on GUP

Rasmus Blanck
Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and Flexibility
, 2017.
See publication on GUP

Martin Kaså
Truth and Proof in the Long Run: Essays on Trial and-Error Logics
, 2017.
See publication on GUP

Paul Kindvall Gorbow
Essens, att sammanfalla och karaktärisering
Filosofisk Tidskrift, 2017.
See publication on GUP

Rasmus Blanck and Ali Enayat
Marginalia on a theorem of Woodin
Journal of Symbolic Logic, 2017.
See publication on GUP

Fredrik Engström, Juha Kontinen and Jouko Väänänen
Dependence logic with generalized quantifiers: Axiomatizations
Journal of computer and system sciences, 2017.
See publication on GUP

Bahareh Afshari and Graham E. Leigh
Cut-free completeness for modal mu-calculus
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 June 2017, Reykjavik Iceland, 2017.
See publication on GUP

Ali Enayat, Paul Kindvall Gorbow and Zachiri McKenzie
Feferman’s Forays into the Foundations of Category Theory
Feferman on Foundations / Jaeger, Gerhard, Sieg, Wilfried (Eds.) , 2017.
See publication on GUP

Leon Horsten and Graham E. Leigh
Truth is Simple
Mind, 2017.
See publication on GUP

Rasmus Blanck
A characterisation of Π₁-conservativity over IΣ₁
Journées sur les Arithmétiques Faibles 35, 6/6-7/6 2016, Lisbon, Portugal, 2016.
See publication on GUP

Rasmus Blanck
Flexibility in Fragments of Peano Arithmetic
Studies in Weak Arithmetics, Volume 3/ eds. Patrick Cégielski, Ali Enayat, Roman Kossak, 2016.
See publication on GUP

Bahareh Afshari and Graham E. Leigh
Finitary Proof Systems for Kozen’s μ
, 2016.
See publication on GUP

Graham E. Leigh
Reflecting on Truth
IfCoLog Journal of Logics and their Applications, 2016.
See publication on GUP

Rasmus Blanck
Flexibility and Π₁-conservativity
Bristol-Gothenburg-Oxford Logic and Set Theory Postgraduate Student Day, 22 April 2015, Bristol., 2015.
See publication on GUP

Martin Kaså
A Logic for Trial and Error Classifiers
Journal of Logic, Language and Information, 2015.
See publication on GUP

Rasmus Blanck
Flexible formulae and partial conservativity
Logic Colloquium 2015, 3-8 August 2015, Helsinki, Finland, 2015.
See publication on GUP

Anton Pertun Broberg
Formalizing Deflationary Truth
Filosofidagarna 2015, June 12th-14th, Linköping, 2015.
See publication on GUP

Rasmus Blanck
Flexible formulae of arithmetic
Journées sur les Arithmétiques Faibles 33, 16/6-18/6 2014, Göteborg, 2014.
See publication on GUP

Martin Kaså
Idées Fixes. A festschrift dedicated to Christian Bennet on the occasion of his 60th birthday.
, 2014.
See publication on GUP

Fredrik Engström
Implicitly definable generalized quantifiers
Idées Fixes. A Festschrift Dedicated to Chistian Bennet on the Occasion of His 60th Birthday. Martin Kaså (ed.), 2014.
See publication on GUP

Rasmus Blanck
Two consequences of Kripke’s lemma
Idées Fixes (ed. Martin Kaså), 2014.
See publication on GUP

Fredrik Engström, Abdul Rahim Nizamani and Claes Strannegård
Generating Comprehensible Explanations in Description Logic
27th International Workshop on Description Logics. Vienna, Austria, July 17-20, 2014, 2014.
See publication on GUP

Claes Strannegård, Abdul Rahim Nizamani, Fredrik Engström and Olle Häggström
Symbolic Reasoning with Bounded Cognitive Resources
36th Annual Conference of the Cognitive Science Society, 2014.
See publication on GUP

Martin Kaså
Semantical considerations on experimental logics
DIP Colloquium, ILLC, Amsterdam, 2013.
See publication on GUP

Fredrik Engström and Juha Kontinen
Characterizing quantifier extensions of dependence logic
Journal of Symbolic Logic, 2013.
See publication on GUP

Fredrik Engström, Juha Kontinen and Jouko Väänänen
Dependence logic with Generalized quantifiers: Axiomatizations
arXiv, 2013.
See publication on GUP

Martin Kaså
Consistency statements in semi-euclidean systems
Workshop on Intensionality in Mathematics, Lund, May 11-12, 2013.
See publication on GUP

Fredrik Engström
On logicality, invariance, and definability
Intensionality in Mathematics, 2013.
See publication on GUP

Fredrik Engström
Dependence and Axiomatazations
Logic seminar, Gothenburg, 2013.
See publication on GUP

Fredrik Engström, Juha Kontinen and Jouko Väänänen
Dependence Logic with Generalized Quantifiers: Axiomatizations
Logic, Language, Information, and Computation, 2013.
See publication on GUP

Fredrik Engström and Richard W. Kaye
Models of arithmetic, standardness and expansions
Helsinki logic seminar, Helsinki 3 mars 2013, 2013.
See publication on GUP

Fredrik Engström
On logic and dependence
Swedish Congress of Philosophy, 2013.
See publication on GUP

Claes Strannegård, Abdul Rahim Nizamani, Sjöberg Anders and Fredrik Engström
Bounded Kolmogorov Complexity Based on Cognitive Models
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 2013.
See publication on GUP

Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani and Lance Rips
Reasoning about truth in first-order logic
Journal of Logic, Language and Information, 2013.
See publication on GUP

Fredrik Engström
Branching quantifiers, compositionally
Logic seminar, Helsinki, 2012.
See publication on GUP

Fredrik Engström and Juha Kontinen
Characterizing quantifier extensions of Dependence logic
arXiv, 2012.
See publication on GUP

Fredrik Engström
Dependence logic with generalized quantifiers
Logikseminariet på GU, 2012.
See publication on GUP

Fredrik Engström
Invariance and definability, with or without equality
Scandinavian Logic Symposium, Roskilde, 2012.
See publication on GUP

Fredrik Engström
Generalized quantifiers in dependence logic
Journal of Logic, Language and Information , 2012.
See publication on GUP

Fredrik Engström
Generalized quantifiers in dependence logic
Logic Colloquium 2012, Manchester, 2012.
See publication on GUP

Martin Kaså
Experimental Logics, Mechanism and Knowable Consistency
Theoria, 2012.
See publication on GUP

Fredrik Engström
On logicality, invariance and definability
Logikseminariet GU, 2012.
See publication on GUP

Fredrik Engström
What is logic? On logicality, invariance and definability
Logikseminariet i Uppsala, 2012.
See publication on GUP

Fredrik Engström
On Logicality
Gothenburg-Oslo Workshop on Philosophical Logic, 2012.
See publication on GUP

Fredrik Engström and Richard W. Kaye
Transplendent models : Expansions omitting a type
Notre Dame Journal of Formal Logic, 2012.
See publication on GUP

Rasmus Blanck
Fixpunktsmängder
Filosofidagarna 2011, Göteborg, 2011.
See publication on GUP

Rasmus Blanck
Metamathematical fixed points
, 2011.
See publication on GUP

Fredrik Engström
Multivalued dependencies and generalized quantifiers
LINT Workshop, Oxford, 2011.
See publication on GUP

Fredrik Engström
Dependence in Logic
Filosofidagarna 2011, Göteborg, 2011.
See publication on GUP

Fredrik Engström
Dependence in Logic
Logical constants workshop, ESSLLI 2011, Ljubljana, 2011.
See publication on GUP

Fredrik Engström and Philipp Schlicht
Non-isomorphism invariant Borel quantifiers
Proceedings of the American Mathematical Society, 2011.
See publication on GUP

Fredrik Engström and Philipp Schlicht
Non-permutation invariant Borel quantifiers
Insitut Mittag-Leffler preprint serie, 2010.
See publication on GUP

Martin Kaså
Some results on experimental logics
Philosophy and Model Theory Conference, Université Paris Ouest & École normale supérieure, Paris June 2-5, 2010.
See publication on GUP

Martin Kaså
Experimental logics, mechanism and knowable consistency
Sino-European Winter School in Logic, Language and Computation, Sun Yat-Sen University, Guangzhou, China, Dec. 3-18, 2010, 2010.
See publication on GUP

Fredrik Engström and Philipp Schlicht
Non-Permutation Invariant Borel Quantifiers
Workshop on Logic, Language and Computation & The 9th International Conference on Logic and Cognition, 2010.
See publication on GUP

Fredrik Engström
Classification problems and models of arithmetic
Logikseminariet på GU, 2010.
See publication on GUP

Fredrik Engström
Borel Quantifiers
Logikseminariet på GU, 2010.
See publication on GUP

Rasmus Blanck
Sets of fixed points
Sino-European Winter School in Logic, Language and Computation, Sun Yat-Sen University, Guangzhou, China, Dec. 3-18, 2010, 2010.
See publication on GUP

Graham E. Leigh
Five papers on axiomatic theories of truth
Bulletin of Symbolic Logic, 2010.
See publication on GUP

Graham E. Leigh
Proof-theoretic investigations into the Friedman-Sheard theories and other theories of truth
, 2010.
See publication on GUP

Fredrik Engström
Logical constants and invariance
INSTITUT MITTAG-LEFFLER SEMINAR, 2009.
See publication on GUP

Martin Kaså
Några resultat i experimentell logik
Filosofidagarna, nationell konferens i filosofi, Lund, 12-14 juni, 2009, 2009.
See publication on GUP