the scandinavian logic society
List of members
Graham E Leigh |
University of Gothenburg
Proof Theory, Theories of Truth, Modal µ-calculus
Gunnar Johansson |
Göteborgs Universitet
Foundations of Mathematics, Mereology
Håkon Robbestad Gylterud |
Stockholms Universitet
logic, category theory, type theory, computer science
Hanne Riis Nielson |
DTU Informatics
static analysis, model checking, process calculi, security
Hans Bugge Grathwohl |
Aarhus University
Type theory, lambda calculus, proof theory, categorical logic
Hans Christian Nordtveit Kvernenes |
Université de Lille 3
Logic, Analogy, Legal Reasoning
Hans Götzsche |
Aalborg University
logic and language, formal systems, formal semantics
Heinrich Wansing |
Dept. of Philosophy II, Ruhr University Bochum, Germany
non-classical logics, in particular modal and constructive logics; applications of logic in philosophy; epistemology
Helmut Schwichtenberg |
Mathematisches Institut der Universitaet Muenchen
Proof theory, program extraction from proofs
Henrik Forssell |
University of Oslo
Categorical logic, logic in computer science.
Herman Ruge Jervell |
Computer Science, University of Oslo
Proof theory
Jacopo Emmenegger |
Department of mathematics, Stockholm University
Type theory, category theory, topology
Jakob Nordström |
KTH Royal Institute of Technology
Theoretical computer science, proof complexity, computational complexity, SAT solving
James Leslie |
Edinburgh University
Pure Mathematics, Mathematical Logic, Proof Theory, Model Theory, Category Theory
Jan Lundorff.Rasmussen |
Privat
Modal logic, epistemic logic, doxastic logic
Jani Isohanni |
Tampere University of Technology
Logic in computer science
Jendrik Stelling |
Rostock University, Germany
philosophy of mathematics, algebraic logic, philosophy of logic, manyvalued logics
Jens Christian Bjerring |
Aarhus University
Epistemology, philosophical logic, metaphysics
Jens Kristian Dreyer Mathiasen |
University of Southern Denmark
Knowledge Representation, Description Logics
Jens Ulrik Hansen
modal logic, epistemic logic, logic for rational interaction, formal and social epistemology
Joao Marcos |
Federal University of Rio Grande do Norte, Brazil
universal logic, non-classical logics, formal philosophy
John Baldwin |
University of Illinois at Chicago emeritus
model theory, philosophy of mathematics, mathematics education
John Gallagher |
Roskilde University
logic programming, program verification/analysis/transformation
John T. Baldwin |
University of Illinois at Chicago
model theory, philosophy of mathematical practice
John T. Baldwin |
University of Illinois at Chicago
model theory, philosophy of mathematical practice
Jonne Mickelin Sätherblom |
Former student at Uppsala and Stockholm University
Proof theory, metamathematics, verification, constructivism
Jostein Aanderaa |
Wrote a thesis in mathematical logic many ears ago, 1994 UiO Cand. Scient. In resent years, spare time work on mathematical prob
Complexity theory, implicit complexity, type theory, functional programming, game theory, provable security, pi-1-2 logic.
Jouko Väänänen |
Department of Mathematics and Statistics, University of Helsinki, and ILLC, University of Amsterdam
mathstat.helsinki.fi/logic/people/jouko.vaananen/
set theory, model theory, dependence logic, foundations of mathematics
Juha Kontinen |
University of Helsinki
Finite model theory, descriptive complexity theory, and dependence logic
Jørgen Fischer Nilsson |
DTU Informatics, Technical University of Denmark
Computational logic, logic programming, diagram logic, natural logic
Jørgen Villadsen |
Technical University of Denmark
Logic in Computer Science and Artificial Intelligence
Karoliina Lehtinen |
University of Edinurgh
Modal mu, logic, games, automata, computation, model-checking
Kasper Højbjerg Christensen |
Victoria University of Wellington
Philosophy of Logic, Metaphysics.
Katalin Lazar
Kerkko Luosto |
University of Tampere
mathstat.helsinki.fi/~kluosto
finite and abstract model theory, discrete mathematics
Kevin Wilkinghoff |
MSc Student in Mathematics, University of Bonn (Germany)
Mathematical Logic, Set Theory
Kim Solin |
Dept. of Philosophy, Uppsala University
Philosophical and Computational Logic, Algebraic Methods, Philosophy of Mathematics
Klaus Frovin Joergensen |
Roskilde University
Mathematical logic, philosophical logic, philosophy of mathematics
Klaus Robering |
Syddansk Universitet - Instiut for Fagsprog, Kommunikation og Informationsvidenskab
modallogik, substructural logics, proof theory, non-classical set-theories
Lars Birkedal |
IT University of Copenhagen
Logic in computer science, categorical logic
Lars Gundersen |
Aarhus University
http://pure.au.dk/portal/en/persons/lars-bo-gundersen(cfa849bb-afef-47f1-b20b-1d48dc42ecdd).html
philosophy of logic, epistemology, metaphysics
Lars Kristiansen |
Department of Mathematics, University of Oslo
Mathmatical logic, computability theory, complexity theory, programming langauges, theoretical computer scjence
Lauri Hella |
School of Information Sciences, University of Tampere
finite model theory, modal logic, generalized quantifiers
LegasteloisB |
UPMC - LIP6, Paris
Non-classical logics, logic in artifical intelligence, modal logic, proof theory
Lennart Berg |
Independent researcher
Unprovability
Lewis Hammond |
University Of Warwick
Mathematical Logic, Philosophical Logic, Philosophy Of Mathematics, History Of Logic And Mathematics
Lewis Hammond |
University Of Warwick / Uppsala Universitet
Mathematical Logic, Philosophical Logic, Philosophy Of Mathematics, History Of Logic And Mathematics
Li Zhang |
Division of Philosophy, KTH Royal Institute of Technology
Belief Revision, Modal Logic
Lucian Zagan |
ILLC, University of Amsterdam & CSMN, University of Oslo
Philosophical Logic, Philosophy of Language, Semantics and Pragmatics
Maciej Kleczek |
The University of Bielefeld
first order logic, modal logic
Marco Carbone |
IT University of Copenhagen
Concurrency Theory, Programming Languages, Type Theory, Logic, Verification
Marija Slavkovik |
University of Bergen
Computational Social Choice, Multi-agent Systems, Machine Ethics
Marija Slavkovik |
University of Bergen
Multi-agent Systems, Computational Logic, Computational Social Choice
marika bouchon
human and physical representations; topology
Mario Piazza |
University of Chieti-Pescara
proof-theory; computation theory; philosophy of mathematics
Martin Filin Karlsson |
Göteborg University
Formal semantics for natural languages (quantification in particular)
Martin Giese |
University of Oslo
semantic technologies, automated reasoning, analytic tableaux, program verification
Martin Holm Jensen |
Technical University of Denmark
Dynamic Epistemic Logic, Planning, Doxastic Logics, Belief Revision
Martin Kaså |
University of Gothenburg
Martin Mose Bentzen |
Roskilde University
Deontic Logic, Modal Logic, Philosophical Logic, Alternative Logics
Martin Ziegler |
TU Darmstadt
Real Number Computability and Complexity
Mathias Winther Madsen |
Institute for Logic, Language, and Computation, University of Amsterdam
General linguistics, game-theoretical pragmatics and game-theoretical semantics, information theory
Meeri Kesälä |
University of Helsinki
model theory, non-elementary classes
mehdi shahani
provability logic and type theory
Merv Hammer |
Independent researcher
Mathematical Logic, Foundations of Mathematics, Model Theoryx
Merv Hammer |
Independent researcher
Logic, Mathematical Logic, Foundations of Mathematics, Proof Theory, Model Theory
Merv Hammer |
Independent researcher
Logic, Mathematical Logic, Foundations of Mathematics, Proof Theory, Model Theory
Michael Haene |
ASL
limits of logic, incompleteness, self-reference, set theory
Michael R. Hansen |
DTU Informatics, Technical University of Denmark
Verification, temporal logic, interval logic
Miika Hannula |
University of Helsinki
Dependence logic
Mikko Männikkö |
University of Helsinki, University Consortium of Seinäjoki
Logic, Game Theory
Mirja Hartimo |
University of Tampere
History and philosophy of mathematics
Mirko Tagliaferri |
University of Urbino
Logic; trust; probability
Mohammad Jabbari |
student
category theory
Mohammad Mousavi |
Halmstad University
Logic in Computer Science, Semantics
Morten Heine Sørensen |
Formalit
Lambda-calculus, type theory, proof theory, the Curry-Howard isomorphism, dialogues in logic
Muhammad Usama Sardar |
Technische Universität Dresden (TU Dresden), Germany
Formal verification, Model checking, Automated reasoning, Temporal logic, Hardware security
Muniraja Gopal |
Bangalore University, Bangalore, India
none
Nonlinear Dynamics, Foundations of Mathematics, Philosophy of Science
Neil Barton |
Birkbeck College, University of London
Philosophy of Mathematics, Foundations of Mathematics, Philosophy of Science, Logic, Set Theory,
Neil Barton |
Birkbeck College, University of London
birkbeck.academia.edu/NeilBarton
Philosophy, Set Theory, Mathematical Logic
Neil Deaton Jones |
University of Copenhagen
Computability, complexity, finite models, model checking
Nemi Pelgrom |
Stockholm University
Philosophy of logic, philosophy of mathematics, foundations of mathematics
Nikolaj Jang Lee Linding Pedersen |
Underwood International College, Yonsei University
Epistemology, truth, philosophy of logic and mathematics.
Nina Gierasimczuk |
Technical University of Denmark
Mathematical Logic, Epistemology, Learning Theory, Artificial Intelligence
Oğuz Akçelik |
METU
Philosophical Logic, Epistemic Logic
Ole Thomassen Hjortland |
Munich Center for Mathematical Philosophy (MCMP), LMU
Philosophy of logic, proof theory, formal epistemology
Olga Kosheleva |
University of Texas at El Paso
constructive mathematics, teaching
Oliver Kutz |
Research Center on Spatial Cognition, University of Bremen, Germany
Logic, Philosophy, Artificial Intelligence
Olle Torstensson |
Uppsala University
Otávio Bueno |
University of Miami (USA)
Philosophy of logic, philosophy of mathematics, philosophical logic, non-classical logics, paraconsistent logic
Ove Ahlman |
Uppsala University
Mathematical Logic, Finite model theory, Combinatorics
Panu Raatikainen |
Department of Philosophy, History, Culture and Art Studies; University of Helsinki
the foundations of mathematics
Patrick Bahr |
University of Copenhagen
term rewriting, functional programming, type theory
Patrick Blackburn |
Roskilde University, Denmark
Modal Logic, Higher-order logic, Natural Language Semantics and Pragmatics, Formal Epistemology
Patrick Blackburn |
Roskilde University (RUC), Denmark
Modal logic, applied logic, philosophical logic