Bahareh Afshari, Graham E. Leigh, and Guillermo Menéndez Turata, 2023. 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.

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

Felix Larsson, and Martin Kaså, 2023. Re: the rhetic, Synthese.

Mattias Granberg Olsson, and Graham E. Leigh, 2023. Revisiting the conservativity of fixpoints over intuitionistic arithmetic, Archive for Mathematical Logic.

Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, and Lukas Zenger, 2023. Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic, Lecture Notes in Computer Science.

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

Bahareh Afshari, and Graham E. Leigh, 2022. 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.

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

Christian Bennet, and Rasmus Blanck, 2022. Never trust an unsound theory, Theoria.

Dominik Wehr, and Dominik Kirst, 2022. 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.

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

Bahareh Afshari, S. Enqvist, and Graham E. Leigh, 2022. Cyclic proofs for the first-order mu-calculus, Logic Journal of the IGPL.

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

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

Bahareh Afshari, Graham E. Leigh, and Guillermo Menéndez Turata, 2021. 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.).

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

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

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

Rasmus Blanck, and Aleksandre Maskharashvili, 2020. 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..

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

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

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

Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, and Aleksandre Maskharashvili, 2019. 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).

Bahareh Afshari, Gerhard Jäger, and Graham E. Leigh, 2019. 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 .

Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, Shalom Lappin, and Aleksandre Maskharashvili, 2019. 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).

Paul Kindvall Gorbow, 2019. Algebraic New Foundations, Journal of Symbolic Logic.

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

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

Jean-Philippe Bernardy, Rasmus Blanck, Stergios Chatzikyriakidis, and Shalom Lappin, 2018. 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.

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

Rasmus Blanck, and Aleksandre Maskharashvili, 2018. 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.).

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

Leon Horsten, and Graham E. Leigh, 2017. Truth is Simple, Mind.

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

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

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

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

Paul Kindvall Gorbow, 2017. Essens, att sammanfalla och karaktärisering, Filosofisk Tidskrift.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Fredrik Engström, 2013. On logicality, invariance, and definability, Intensionality in Mathematics.

Fredrik Engström, 2013. Dependence and Axiomatazations, Logic seminar, Gothenburg.

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

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

Fredrik Engström, 2013. On logic and dependence, Swedish Congress of Philosophy.

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

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

Fredrik Engström, 2012. Branching quantifiers, compositionally, Logic seminar, Helsinki.

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

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

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

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

Fredrik Engström, 2012. Generalized quantifiers in dependence logic, Logic Colloquium 2012, Manchester.

Martin Kaså, 2012. Experimental Logics, Mechanism and Knowable Consistency, Theoria.

Fredrik Engström, 2012. On logicality, invariance and definability, Logikseminariet GU.

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

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

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

Rasmus Blanck, 2011. Fixpunktsmängder, Filosofidagarna 2011, Göteborg.

Rasmus Blanck, 2011. Metamathematical fixed points, .

Fredrik Engström, 2011. Multivalued dependencies and generalized quantifiers, LINT Workshop, Oxford.

Fredrik Engström, 2011. Dependence in Logic, Filosofidagarna 2011, Göteborg.

Fredrik Engström, 2011. Dependence in Logic, Logical constants workshop, ESSLLI 2011, Ljubljana.

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

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

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

Martin Kaså, 2010. 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.

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

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

Fredrik Engström, 2010. Borel Quantifiers, Logikseminariet på GU.

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

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

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

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

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