the scandinavian logic society
List of members
Fredrik Stjernberg |
Linkoping university
Philosophical logic, philosophy of language, philosophy of mind, cognitive science
Frode Bjørdal |
Department of Philosophy, Classics, History of Art and Ideas, The unibversity of Oslo, Norway
Set theory, foundations of mathematics, paradoxes, modal logics, philosophical logic
Gianluca Paolini |
Department of Mathematics and Statistics, University of Helsinki
Model theory, extensions of first-order logic, foundations of mathematics
Giovanni Sambin |
University of Padua (Italy)
non-classical logics, constructive mathematics, type theory, philosophy of mathematics
Giulio Fellin |
University of Helsinki - Department of
fellin.ga
Modal Logic, Algebraic Logic
Giuseppina Ronzitti
intuitionistic mathematics, philosophy of mathematics, vagueness, metaphysics, Erik Stenius
Göran Sundholm |
Leiden university, Chair of Logic
philosophy of logic and mathematics, constructivism, modern history of logic
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
Igor Sedlar |
The Czech Academy of Sciences
Logic, Substructural logic, Modal logic
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
Joost Jacob Vecht |
University of Oslo
Philosophy of mathematics, philosophy of science, conceptual engineering
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
Julie Goncharov |
The Arctic University of Norway
epistemology, belief updates, intentions
Julie Goncharov |
The Arctic University of Norway
epistemology, belief revisions, intentions
Julie Goncharov
Julie Goncharov
Julie Goncharov |
The Arctic University of Norway
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
Kiko Fernandez-Reyes |
Uppsala University
Plresearcher.com
Logic, type systems, compilers
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
Lachlan McPheat |
PhD student at University College London, supervised by Dr Mehrnoosh Sadrzadeh
N/A
Categorical logic for Natural Language Processing
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 Barra |
Akershus University Hospital (Ahus)
Sykehusveien 25
Mathias Winther Madsen |
Institute for Logic, Language, and Computation, University of Amsterdam
General linguistics, game-theoretical pragmatics and game-theoretical semantics, information theory
Mattias Granberg Olsson |
Göteborgs universitet
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 |
Rutgers University
Proof Theory, Mathematical Logic
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