the scandinavian logic society
List of members
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
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
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
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
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
Paul Gorbow |
University of Gothenburg
Set theory, Stratified set theory, Category theory, Applications to Philosophy
Paula Quinon |
Philosophy Department Lund University
lu.academia.org/paulaquinon
philosophy of mathematics, axiomatic arithmetic
Pelle Guldborg Hansen |
Inst. for Marketing & Management, University of Southern Denmark
Game theory, justification logic
Per Martin-Löf |
Stockholm University
Logic
Peter Arndt |
Mathematische Fakultät, University of Regensburg
Categorical Logic, Abstract Logic, Homotopy Type Theory
Peter Dybjer |
Chalmers University of Technology
Type theory, constructive logic
Peter M. Schuster |
Dipartimento di Informatica, Università degli Studi di Verona, Italia
Proof Theory, Constructive Mathematics, Hilbert's Programme
Peter Nicholas Erik Sørensen |
Victoria University of Wellington, New Zealand
Philosophy, language, syntax, formal systems, logic, QT=, meaning, semantics
Peter Øhrstrøm |
Aalborg University
temporal logic, tense logic, modal logic, the history of logic
Philip David Welch |
University of Bristol
Set Theory, Foundations of Mathematics
Philip Welch |
University of Bristol
Set Theory, Inner Model Theory, Determinacy, Theories of Truth, Transfinite Computational Models
Pietro Galliani |
Universiteit van Amsterdam
Dependence Logic, Game-theoretic Semantics, Imperfect Information
Piotr Kaźmierczak |
Bergen University College
Normative systems, verification of multi-agent systems, tableau methods, functional programming.
Radhakrishnan Delhibabu |
RWTH Aachen
Application of Mathematical Logic
Radu Mardare |
Aalborg University, Denmark
Modal and Coalgebraic Logics, Temporal Logics, Mu-Calculus, Markovian and Probabilistic Logics, Theories of Bisimulation
Raja Natarajan |
Tata Institute of Fundamental Research
Interactive Theorem Proving, Semantics of Computation, Foundations of Mathematics, Philosophy of Computer Science, Modal Logics