The Scandinavian Logic Society

List of members

Fill out this form to apply for membership.

• Achraf Rhilani
  Université Paris 1 Panthéon-Sorbonne
  Philosophy of language, Philosophy of Mind, Logic

• Adam Ó Conghaile
  Cambridge
  https://aconghaile.github.io
  Descriptive complexity, finite model theory, category theory

• Adam Trybus
  Institute of Philosophy, Zielona Gora, Poland
  http://logic.ifil.uz.zgora.pl/atrybus
  history of logic, logic in AI, philosophy of geometry, spatial logics

• Adrien Ragot
  proof theory

• Aleksandra Samonek
  Université catholique de Louvain
  https://asamonek.github.io

• Alexander Regueiro
  University of Bristol
  http://noldorin.com/
  philosophy of logic, philosophy of mathematics, constructive mathematics, proof theory, type theory, foundations of computer science

• Alexei Muravitsky
  Northwestern State University, US
  http://nsula.academia.edu/AlexeiMuravitsky
  Non-classical logics, algebraic methods in logic, monotonic and nonmonotonic consequence relations, philosophy of mathematics

• Ali Enayat
  University of Gothenburg (emeritus professor)
  https://www.gu.se/en/about/find-staff/alienayat
  Models of arithmetic and set theory, axiomatic theories of truth

• Dr. Amir Mosavi
  Norwegian University of Life Sceinces
  https://www.nmbu.no/emp/amirhosein.mosavi
  Machine Learning

• Anders Hellström
  https://linktr.ee/andersh3
  Kinematics, AI

• Anders Lundstedt
  https://anderslundstedt.com

• Anders Märak Leffler

• André Rognes
  OsloMet – Oslo Metropolitan University
  algebraic logic, automated reasoning

• Andrea Reichenberger
  Paderborn University
  History of Logic, History and Philosophy of Computing and Computability, Women in Logic

• Andreas Fjellstad
  https://philpeople.org/profiles/andreas-fjellstad

• Andreas Herzig
  CNRS-IRIT
  https://www.irit.fr/~Andreas.Herzig/
  modal logic, epistemic logic, dynamic logic, logics of agency, conditional logic

• Andrés Villaveces
  Universidad Nacional de Colombia
  https://avillavecesn.net
  Model Theory, Set Theory, Infinitary Logic, Abstract Elementary Classes

• Annika Kanckos
  University of Helsinki
  Proof theory

• Ansten Klev
  Czech Academy of Sciences
  https://sites.google.com/site/anstenklev

• Antonio Piccolomini d’Aragona
  University of Siena
  https://sites.google.com/site/piccdarag

• Antonis Achilleos
  Reykjavik University
  https://sites.google.com/view/antonisachilleos

• Anton Setzer
  Swansea University, Dept. of Computer Science
  http://www.cs.swan.ac.uk/~csetzer/
  Proof theory, type theory, interactive theorem proving, dependently typed programming, coalgebras

• Arild Waaler
  University of Oslo
  https://sirius-labs.no/arild-waaler-centre-director/
  Ontology languages, modal logic, proof theory, automated deduction

• Arnold Beckmann
  Swansea University
  https://www.beckmann.pro/
  Proof Theory, Bounded Arithmetic, Propositional Proof Complexity

• Åsa Hirvonen
  University of Helsinki
  https://www.mv.helsinki.fi/home/asaekman/
  mathematical logic, model theory, quantum information

• Asta Halkjær From
  Technical University of Denmark
  https://people.compute.dtu.dk/ahfrom/

• B. Göran Sundholm
  Leiden University, Institute for Philosophy
  https://www.researchgate.net/profile/Goeran-Sundholm
  philosophy of logic and mathematics, constructivism, modern history of logic

• Bahareh Afshari
  University of Gothenburg & University of Amsterdam
  https://www.gu.se/en/about/find-staff/baharehafshari
  Proof Theory, Fixed Point Logic, Theoretical Computer Science, Modal and Temporal Logics

• Bartosz Janik
  University of Silesia in Katowice
  cognitive science, philosophy of law, philosophy of mind

• Bartosz Więckowski
  Goethe University Frankfurt
  http://www.uni-frankfurt.de/49561986/Wieckowski_Bartosz
  Logic, Philosophy of Language

• Ben Martin
  University of Bergen
  https://www.uib.no/en/persons/Ben.Martin
  Philosophy of Logic; Paraconsistent Logics; Paradoxes

• Bengt Nordström
  Chalmers
  http://www.cse.chalmers.se/~bengt/
  Type thory

• Bruno R. Mundim
  Philosophy of logic

• Camillo Fiorentini
  Universita’ degli Studi di Milano, Department of Computer Science
  https://homes.di.unimi.it/fiorentini/
  Proof theory, Automated Deduction

• Cezary Cieśliński
  University of Warsaw, Faculty of Philosophy
  http://cieslinski.filozofia.uw.edu.pl/
  truth theory (deflationism, theories of self-referential truth), mathematical and philosophical logic, model theory,

• Christian Espindola
  University of La Réunion
  https://sites.google.com/view/christianespindola
  Categorical logic, set theory, model theory, philosophy of mathematics

• Christian Johansen
  Norwegian University of Science and Technology
  https://www.ntnu.edu/employees/christian.johansen
  logic in concurrency, deontic and dynamic logics, Kleene algebras

• Christoph Benzmüller
  Freie Universität Berlin
  http://christoph-benzmueller.de
  higher-order logic, non-classical logics, universal logic, automated reasoning

• Claes Strannegård
  Chalmers
  https://www.chalmers.se/en/staff/Pages/claes-strannegard.aspx

• Cynthia M. Grund
  Associate Professor Emerita, University of Southern Denmark
  http://www.sdu.dk/ansat/cmgrund
  Formal logic in general, philosophical logic, theory of argumentation

• Cyrus F Nourani
  TU Berlin and the University of California
  https://www.linkedin.com/in/cyrus-f-nourani-b7389419
  Mathematical Logic, Model Theory, Categories, Types, Computability

• Dag Normann
  University of Oslo, Department of Mathematics
  https://www.mn.uio.no/math/english/people/aca/dnormann/index.html
  Higher order computability theory, semantics of computation, higher order reverse mathematics.

• Dag Prawitz
  Stockholm University
  Proof theory, Philosophy of logic and mathematics

• Dag Westerståhl
  Stockholm University, Tsinghua University
  generalized quantifiers, formal semantics, logical consequence, logical constants

• Daisuke Ikegami
  Shibaura Institute of Technology
  http://www.sic.shibaura-it.ac.jp/~ikegami/
  Set Theory

• Daniel Lindegger

• David A. Ross
  University of Hawaii, USA
  http://math.hawaii.edu/~ross/

• Denitsa Zhelyazkova (Деница Желязкова)
  Sofia University
  https://uni-sofia.academia.edu/DenitsaZhelyazkova
  Contemporary philosophy

• Deniz Sarikaya
  University of Copenhagen, Technical University of Denmark - DTU, and CLPS - Vrije Universiteit Brussels
  https://www.denizsarikaya.de

• Douglas Sutherland Bridges
  University of Canterbury
  https://www.dsbridges.com
  constructive mathematics, esp. analysis, topology, and set theory

• Esko Turunen
  Tampere University
  Non classical logics

• Esteban G. Echaniz Álvarez
  University of Valparaiso
  Modal Logic, Modalities, Possible Worlds and Mereology

• Esteban Guerrero
  Department of computing science, Umeå university, Sweden
  https://people.cs.umu.se/esteban/
  Artificial intelligence, Formal argumentation theory

• Eyvind Martol Briseid
  OsloMet – Oslo Metropolitan University

• Fan Yang
  University of Helsinki
  https://sites.google.com/site/fanyanghp/

• Farshad Badie
  Berlin School of Business and Innovation
  https://sites.google.com/view/farshad-badie
  Description Logics, Philosophical Logic, Symbolic AI & Knowledge Representation, Philosophy of Cognition

• Ferenc Csatári

• Fernando R. Velázquez-Quesada
  Universitetet i Bergen
  https://www.uib.no/en/persons/Fernando.Raymundo.Velazquez.Quesada
  modal logic, epistemic/doxastic logic, dynamic epistemic logic, logics for multi-agent systems, belief revision, formal epistemology, logics for preferences

• Fredrik Engström
  University of Gothenburg
  http://engstrom.morot.org/
  Models of arithmetic, Dependence logic, Logical constants

• Fredrik Nordvall Forsberg
  University of Strathclyde
  https://fredriknf.com
  Type theory, constructive mathematics, category theory

• Fredrik Stjernberg
  Linköping University
  Philosophical logic, philosophy of language

• Frode Alfson Bjørdal
  Universitetet i Oslo/Universidade Federal do Rio Grando do Norte
  https://www.hf.uio.no/ifikk/english/people/aca/philosophy/emeriti/fbjordal/index.html
  Grunnlagsproblem i matematikk, modallogikk,

• Gaia Belardinelli
  https://sites.google.com/view/gaiabelardinelli/home
  Epistemic logic, attention, awareness, implicit reasoning

• Gianluca Paolini
  https://sites.google.com/view/gianlucapaolini/home

• Giovanni Sambin
  University of Padova
  Foundations of mathematics, constructive logic, constructive mathematics

• Giulio Fellin
  University of Helsinki

• Graham Leigh
  University of Gothenburg
  https://www.gu.se/en/about/find-staff/grahamleigh
  Proof Theory, Computational Logic, Formal Truth

• Håkon Robbestad Gylterud
  Universitet i Bergen
  https://hakon.gylterud.net/
  type theory, category theory, formalisation of mathematics, computer science

• Hana Kalpak
  Stockholm University
  https://hmkalpak.github.io

• Hans Götzsche
  Aalborg University
  https://www.cfl.aau.dk
  Formal Logic and the interface with natural languages

• Heinrich Wansing
  Ruhr University Bochum, Department of Philosophy I, Germany
  https://www.ruhr-uni-bochum.de/philosophy/logic/index.html.en
  philosophical logic, modal logic, non-classical logic, epistemology

• Helmut Schwichtenberg
  Mathematics Institute, LMU, Munich
  http://www.mathematik.uni-muenchen.de/~schwicht/
  proof theory, lambda calculus, program extraction from proofs

• Jakob Nordström
  University of Copenhagen and Lund University
  http://www.csc.kth.se/~jakobn/
  Computational aspects of propositional logic; Boolean satisfiability (SAT) solving; certified algorithms

• Jan von Plato
  University of Helsinki

• Jelle Tjeerd Fokkens
  Gothenburg University, Department of Philosophy, Linguistics and Theory of Science
  Description logic and human reasoning

• Jens Christian Bjerring
  Aarhus University
  https://sites.google.com/site/jcbjerringswebsite/
  Philosophical logic, formal epistemology, philosophy of AI

• Jens Ulrik Hansen
  Roskilde University
  Logic for social networks, Logic and AI, Logic and Machine Learning

• Joao Marcos
  Federal University of Rio Grande do Norte, Brazil
  http://sequiturquodlibet.googlepages.com
  formal philosophy, consequence, non-classical logics

• John Gallagher
  Roskilde University
  http://www.ruc.dk/~jpg/
  Logic programming, program analysis/transformation

• John T Baldwin
  University of Illinois in Chicago
  http://homepages.math.uic.edu/~jbaldwin/
  model theory, philosophy of mathematical practice

• Jonne Mickelin
  Former student at Uppsala and Stockholm University
  Proof theory, metamathematics, verification, constructivism

• Jørgen Fischer Nilsson
  DTU Technical University of Denmark
  https://www.dtu.dk/english/service/phonebook/person?id=1845&cpid=109299&tab=3&qt=dtuprojectquery
  Natural logics, Logic for AI

• Jørgen Villadsen
  Technical University of Denmark
  https://people.compute.dtu.dk/jovi/
  Logic in Computer Science and Artificial Intelligence

• Joseph Kiniry
  Galois
  https://galois.com/team/joe-kiniry/

• Jouko Väänänen
  University of Helsinki and University of Amsterdam
  http://www.math.helsinki.fi/logic/people/jouko.vaananen/
  set theory, dependence logic, second order logic, set theoretic model theory, finite model theory, computer science logic, generalized quantifiers, infinitary logic, abstract logic, foundations of mathematics, quantum foundations, logic and games

• Juha Kontinen
  University of Helsinki

• Juvenal Murwanashyaka
  Department of Mathematics, University of Oslo
  Logic

• Karl Nygren
  Stockholm University

• Karoliina Lehtinen
  CNRS, Aix-Marseille Univ., LIS
  http://pageperso.lif.univ-mrs.fr/~karoliina.lehtinen/
  Logic, Games, Automata, Verification, Synthesis

• Kerkko Pekka Luosto
  Tampere university
  Finite model theory, generalized quantifiers, mathematical logic in general

• Kim Solin
  Uppsala University

• Lars Gundersen
  Dept. of Philosophy, Aarhus University
  logic, semantics, epistemology, metaphysics

• Lars Kristiansen
  Department of Informatics, Department of Mathematics, University of Oslo
  https://www.mn.uio.no/ifi/english/people/aca/larsk/
  Mathematical Logic, Computability Theory, Complexity Theory

• Lauri Hella
  Faculty of Information Technology and Communication Sciences, Tampere University
  Logic in computer science, generalized quantifiers, dependence logics, modal logic

• Lewis Hammond
  University of Oxford
  https://www.lewishammond.com
  Logic in Computer Science, Artificial Intelligence, Game Theory

• Magdalena Ivanovska
  BI Norwegian Business School
  knowledge representation and reasoning, uncertainty in AI, probabilistic graphical models, probabilistic logic, causality, judgment aggregation

• Marco Carbone
  IT University of Copenhagen
  https://www.itu.dk/people/maca
  Programming Languages, Types, Linear Logic

• Maria Emilia Maietti
  University of Padova
  https://www.math.unipd.it/~maietti
  type theory, categorical logic and constructive mathematics

• Mario Piazza
  Scuola Normale Superiore di Pisa
  https://sites.google.com/sns.it/mariopiazza

• Mark Addis
  Open University and London School of Economics and Political Science
  https://www.open.ac.uk/people/mra267
  Epistemology, Philosophy of Mathematics, Philosophy of Science

• Martin Filin Karlsson
  Philosophy of logic, formal semantics, quantification

• Martin Giese
  University of Oslo, Dept. of Informatics
  https://www.mn.uio.no/ifi/english/people/aca/martingi/

• Martin Kaså
  University of Gothenburg
  https://www.gu.se/en/about/find-staff/martinkasa
  philosophical logic, philosophy of logic, philosophy of language, argumentation theory

• Martina Menconi
  https://www.linkedin.com/in/martina-menconi-136816235/

• Mathias Barra
  Akershus universitetssykehus HF, Universitetet i Bergen

• Mathias Winther Madsen
  Micropsi Industries GmbH
  Probability theory

• Mattias Granberg Olsson
  Göteborgs universitet

• Mauricio Martel
  University of Gothenburg

• Michael Reichhardt Hansen
  Technical University of Denmark

• Michal Walicki
  University of Bergen
  https://www.ii.uib.no/~michal/
  Circularity, paradoxes of self-reference and substitution, semantic closure, paraconsistency

• Miika Hannula
  University of Helsinki
  https://sites.google.com/view/miika-hannula
  Finite model theory, database theory, dependence logic

• Mirja Hartimo
  University of Jyväskylä
  Philosophy of mathematics and philosophy of logic

• Morten Heine Sørensen
  Formalit
  https://www.formalit.dk
  Logic, Type Theory, Programming Languages

• Muhammad Usama Sardar
  TU Dresden
  https://tu-dresden.de/ing/informatik/sya/se/die-professur/beschaeftigte/muhammad-usama-sardar
  Formal verification, formal methods for security analysis, hardware security, temporal logic, (probabilistic) model checking

• Murat Kelikli
  Department Of Philosophy, Afyon Kocatepe University
  Mathematical Logic, Aristotle Logic, Set Theory

• Mustafa Hashmi
  La Trobe University
  Knowledge representation, model logic, higher order logics, proof theory

• Neil Barton
  University of Konstanz
  https://neilbarton.net/
  Philosophy and Foundations of Mathematics, Set Theory, Philosophy of Science, Epistemology

• Neil Deaton Jones
  University of Copenhagen (professor emeritus)
  https://di.ku.dk/~neil
  Complexity. programming languages

• Nemi Pelgrom
  Ludwig-Maximilians-Universität
  Foundations of Mathematics, philosophical logic

• Nina Gierasimczuk
  Technical University of Denmark
  http:/www.ninagierasimczuk.com/
  Mathematical and Applied Logic, Epistemology, Computability, Learning Theory, Cognitive Science, Artificial Intelligence, Art-Science Interface

• Oğuz Akçelik
  METU - Department of Philosophy
  https://metu.academia.edu/O%C4%9FuzAk%C3%A7elik
  Philosophical Logic, Philosophy of Language, Automated Reasoning, Formal Ontology

• Ole Hjortland
  University of Bergen
  Philosophy of logic, nonclassical logics, proof theory

• Otavio Bueno
  University of Miami
  http://www.as.miami.edu/personal/obueno
  Philosophy of Logic, Philosophy of Mathematics

• Øystein Linnebo
  Department of Philosophy, University of Oslo
  https://www.oysteinlinnebo.org
  Philosophical logic, philosophy of mathematics, Frege

• Patrick Bahr
  IT University of Copenhagen
  https://bahr.io/
  functional programming, type theory, formal verification

• Paul Gorbow
  Logic: PA, ZF, NF, axiomatic theories of truth, non-standard models. Applications of logic to philosophy: Metaphysics, Language, Truth, Knowledge, Belief, Mind, Mathematics

• Pepijn Demortier
  KU Leuven / LMU München
  https://www.linkedin.com/in/pepijn-leonard-demortier-985a74216/
  Game theory, Philosophy of (Animal) Mind, Modal logic, Ontological Arguments

• Per Martin-Löf
  Departments of Mathematics and Philosophy, Stockholm University
  Proof Theory, Type Theory

• Peter Dybjer
  Chalmers University of Technology
  http://www.cse.chalmers.se/~peterd/
  type theory, proof assistants, logic and semantics of programs

• Peter Fritz
  Australian Catholic University and University of Oslo
  https://www.hf.uio.no/ifikk/english/people/aca/philosophy/tenured/peteraf/
  Philosophical Logic

• Peter LeFanu Lumsdaine
  Stockholm University
  http://peterlefanulumsdaine.com
  Dependent type theory, esp. homotopy type theory; constructive mathematics; categorical logic

• Peter Øhrstrøm
  Aalborg University
  Tense-logic, modal logic, the history of logic

• Peter Schuster
  Università di Verona
  https://www.di.univr.it/?ent=persona&id=21404&lang=en
  Proof theory and constructive mathematics

• Philip David Welch
  University of Bristol
  https://people.maths.bris.ac.uk/~mapdw/
  Set Theory, Foundations, Transfinite Computation, Theories of Truth

• Pietro Galliani
  Free University of Bozen-Bolzano

• Radhakrishnan Delhibabu
  VIT Vellore, India
  https://sites.google.com/site/rdelhibabu/
  Applied Mathematical Logic, AI and Cognitive Modelling

• Raja Natarajan
  Tata Institute of Fundamental Research
  https://www.tcs.tifr.res.in/~raja/
  Logic

• Rasmus Blanck
  University of Gothenburg
  https://www.rasmusblanck.com
  metamathematics, philosophy of mathematics, formal semantics, probabilistic semantics

• Rasmus Kræmmer Rendsvig
  Center for Information and Bubble Studies, University of Copenhagen
  https://Rends.dk
  Epistemic Logic, Dynamic Epistemic Logic, Logic and Rational Interaction, Logic and Topology, Modal Logic

• Rineke Verbrugge
  University of Groningen
  https://rinekeverbrugge.nl
  modal logics (epistemic, provability), logic and cognition, multi-agent systems

• Robin Cooper
  University of Gothenburg
  https://www.gu.se/en/about/find-staff/robincooper
  logic and natural language

• Roger Antonsen
  Department of Informatics, University of Oslo
  https://rantonse.no/
  Proof Theory, Automated Reasoning, Modal Logic, Recreational Mathematics, Teaching

• Roman Kossak
  The Graduate Center, City University of New York
  model theory, nonstandard models of arithmetic

• Roussanka Loukanova
  D. of Algebra and Logic, Institute of Mathematics and Informatics (IMI) Bulgarian Academy of Sciences (BAS), Sofia, Bulgaria
  https://staff.math.su.se/rloukanova/
  Theory of Computation, Logic, Types, Computational Linguistics, Computational Syntax-Semantics

• Saeed Salehi
  University of Tabriz
  http://www.SaeedSalehi.ir/
  Mathematical Logic & Computer Science

• Sankha S. Basu
  IIIT-Delhi, India

• Sara Negri
  University of Genova
  https://sites.google.com/view/saranegri
  proof theory, modal logic, non-classical logics

• Sayantan Roy
  Indraprastha Institute of Information Technology, Delhi
  Universal logic, category theory, set theory, type theory

• Semiha Akıncı
  Anadolu University
  Logic, philosopy of language, philosophy of science

• Stefán Jökulsson
  Archives Henri Poincaré
  Logic, Philosophy of logic, Philosophy of language, History of analytical philosophy

• Stenly Djatah
  General Achmad Yani University, Cimahi WEST JAVA - INDONESIA
  Medieval Logic, Modal Logic

• Sumanta Sarathi Sharma
  Shri Mata Vaishno Devi University Katra, India
  Syllogistic Reasoning, Diagrammatic Logic

• Sven Ove Hansson
  Royal Institute of Technology, Stockholm
  http://home.abe.kth.se/~soh/
  Belief revision, formal epistemology, preference logic, deontic logic, logic of probability, philosophy of logic

• Sylvie Saget
  University of Gothenburg
  https://www.gu.se/en/about/find-staff/sylviesaget
  Logic and Language, Philosophical logic

• Thomas Ågotnes
  University of Bergen
  https://www.uib.no/en/persons/Thomas.Ågotnes
  Modal logic, epistemic logic, temporal logic, strategic logic, game logic, multi-agent logic, social cognition

• Thomas Bolander
  Technical University of Denmark
  http://www2.compute.dtu.dk/~tobo/
  epistemic logic, automated planning, hybrid logic, dynamic epistemic logic, self-reference, social intelligence, logic-based AI, combinations of symbolic and subsymbolic AI, human-robot interaction

• Timotheus Kampik
  Umeå University
  https://people.cs.umu.se/tkampik
  non-monotonic reasoning, formal argumentation

• Torben Braüner
  Roskilde University
  http://akira.ruc.dk/~torben/

• Tore Fjetland Øgaard
  University of Bergen
  https://philpeople.org/profiles/tore-fjetland-ogaard
  philosophy of logic, philosophical logic, philosophy of mathematics, non-classical logics, relevant logics, substructural logics

• Truls Pedersen
  Department of Information Science and Media Studies, UiB
  https://www.uib.no/personer/Truls.Andr%C3%A9.Pedersen
  Logic, defeasible reasoning, artificial intelligence

• Tuyen Trung Truong
  University of Oslo

• Ulrich Kohlenbach
  Department of Mathematics, TU Darmstadt
  https://www.mathematik.tu-darmstadt.de/~kohlenbach
  Proof theory with applications in mathematics

• Ulrik Torben Buchholtz
  TU Darmstadt
  https://www2.mathematik.tu-darmstadt.de/~buchholtz/
  homotopy type theory, proof theory, predicativity, univalent foundations, constructive mathematics

• Vadim Kulikov
  University of Oulu

• Valentin Goranko 
  Stockholm University
  https://www2.philosophy.su.se/goranko
  modal and temporal logics, logics for games and multi-agent systems

• Valeria de Paiva
  https://vcvpaiva.github.io/
  proof theory, linear logic

• Vera Koponen
  Department of Mathematics, Uppsala University
  https://katalog.uu.se/profile/?id=N96-558
  logic, model theory, and these things combined with combinatorics and probability, applications to AI

• Viggo Stoltenberg-Hansen
  Uppsala Universitet
  Logik

• Vladik Kreinovich
  University of Texas at El Paso
  http://www.cs.utep.edu/vladik
  logics used in AI, constructive logic

• Yì Nicholas Wáng
  Sun Yat-sen University
  http://xixilogic.org/ynw/index.html
  Logics for AI, Philosophical Logic

• Yong Cheng
  School of Philosophy, Wuhan University, China
  http://yongcheng.whu.edu.cn
  Logic and Foundations of Mathematics, proof theory, philosophy of mathematics and logic

• Yoshihiro Maruyama
  Australian National University
  Algebraic and categorical logic

• Xavier Parent
  TU Wien
  http://xavierparent.co.uk
  semantics of modal and deontic logics, and conditional logic

• Zhaohui Luo

• Zuzanna Gnatek
  Trinity College Dublin