Publications

Below is the list of publications by the logic group of the Department of Philosophy, Linguistics and Theory of Science at the University of Gothenburg as archived by the Gothenburg University Library Publication Database. More information can be found at group members’ pages.

List of publications by members of the Logic Group

  • 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

  • Mattias Granberg Olsson and Graham E. Leigh
    Revisiting the conservativity of fixpoints over intuitionistic arithmetic
    Archive for Mathematical Logic, 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

  • Bahareh Afshari and Dominik Wehr
    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, 2022.
    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

  • Bahareh Afshari, S. Enqvist and Graham E. Leigh
    Cyclic proofs for the first-order mu-calculus
    Logic Journal of the IGPL, 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, 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