the scandinavian logic society

slideshow 1

List of members

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
Paal Antonsen | University of Bergen
Philosophy of language, philosophy of logic, philosophy of mind
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 Fritz | University of Oslo
modal logic, higher-order 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
Rasmus Blanck | Göteborgs universitet
arithmetized metamathematics, philosophy of mathematics
Rasmus K. Rendsvig | Roskilde University
epistemic logic, quantified modal logic, social epistemology
Rasmus K. Rendsvig
Richard Dietz | University of Tokyo
Philosophical Logic
Rineke Verbrugge | University of Groningen
modal logics (epistemic, provability); logic and cognition
Robert Rothenberg | University of St Andrews, Scotland
Proof Theory, Type Theory
Robin Cooper | University of Gothenburg
logic for natural language
Robin Kaarsgaard | University of Copenhagen
logic in computer science, type theory, proof theory
Roger Antonsen | Department of Informatics, University of Oslo
sequent calculi, analytic tableaux, automated reasoning, modal logic
Roman Kossak | City University of New York
Model Theory, Nonstandard Models of Arithmetic
Roussanka Loukanova | unemployed
Logic and Linguistics, Logic and Computer Science
Roy Dyckhoff | University of St Andrews
proof theory, type theory, semantics of natural language, intuitionistic logic, modal logic, multi-agent logic
Ryan Burgess | The University of Chicago
Ryan Burgess | The University of Chicago

N/A

Philosophical and Mathematical Logic, Model Theory, Proof " ", Computation " ", Category " ", Information " ", Metamathematics
Ryan Burgess | The University of Chicago
Ryan Burgess | The University of Chicago
Ryan Burgess | The University of Chicago
Ryan Burgess | The University of Chicago
Saeed Salehi | University of Tabriz, Iran
Mathematical Logic (Godel Theorems and Arithmetics) and Theoretical Computer Science (Forma Tree Automata and Languages))
Sam Roberts | University of Oslo
Set theory, logic, philosophy of maths
Sampo Haavasoja
Finite Model Theory, Turing Machines, Paradoxes, Restrained philosophical interpretations
Sanderson Molick Silva | Undergrad Student - Federal University of Rio Grande do Norte/Brazil
Proof theory, non-classical logics and game theory
Sankha S. Basu | Assistant Professor, Indraprastha Institute for Information Technology, New Delhi, India
intuitionistic logic, paraconsistent logics, non-classical logics
Sara Negri | University of Helsinki
Proof theory, non-classical logics, formal epistemology, constructive foundations
Satyendr Singh | BML Munjal University, Gurgaon, India
Natural Language Processing, Machine Learning, Logic in Computer Science
Sebastian Enqvist | Lund University
modal logic, non-classical logics, categorical logic, constructive mathematics, foundations of mathematics, universal logic
Semiha Akinci | Anadolu University-Eskisehir-Turkey
Logic, Philosophy of Language
Sergii Tropanets | Odessa National University
Proof theory, Modal logics, Truth theories, Formal philosophy
Sine Zambach | Roskilde University
Knowledge representation, applied logics
Staffan Angere | University of Bristol
Philosophical logic, metaphysics, philosophy of mathematics, philosophy of physics
Stefán Jökulsson | Archives Henri Poincaré, Université de Lorraine
Philosophy of logic, philosophical logic, metaphilosophy, epistemology and philosophy of language
Sten Lindström | Department of Historical, Philosophical and Religious Studies, Umeå University
Philosophical logic, Philosophy of mathematics
Stig Andur Pedersen | Roskilde University
Foundations of Mathematics, Philosophy of Science
Sumanta Sarathi Sharma | Shri Mata Vaishno Devi University, Katra, J&K, India
Syllogistic Logic, Diagrammatic Reasoning
Sven Ove Hansson | Royal Institute of Technology, Stockholm
Belief revision, formal epistemology, preference logic, deontic logic, logic of probability, philosophy of logic
Syeda Fatima | Loughborough University
Artificial Intelligence, Multiagent systems
Sylvie Saget | CLASP, FLOV, University of Gothenburg
Pragmatics, Spoken Dialog Systems, Logic and Linguistics, Logic in AI and Multi-Agent Systems, Logics of Games, Axiomatic The
Sylvie Saget | CLASP, FLOV, University of Gothenburg
Pragmatics, Spoken Dialog Systems, Logic and Linguistics, Logic in AI and Multi-Agent Systems
Tero Tulenheimo | Department of Philosophy, University of Lille 3, France
philosophy of logic, expressivity, decidability, modal logic, extensions of first-order logic, logic & games, model theory
Thomas Ågotnes | University of Bergen
Modal logic, in particular multi-agent logics, game logic, action logic, epistemic logic, deontic logic...
Thomas Bolander | Technical University of Denmark
Modal logics, hybrid logics, epistemic logics, logic-based AI
Toby Meadows | University of Aberdeen
Set theory, philosophy of mathematics
Tomoyuki Suzuki | University of Leicester
mathematical logic
Torben Braüner | Roskilde University
Non-classical logics, mainly modal and hybrid logics. Application of logic in CS, AI, and philosophy.
Torbjörn Lager
Tore Fjetland Øgaard | University of Bergen
Philosophical logic
Tudor Jebelean | Johannes Kepler University of Linz, Austria
automatic reasoning
Tuomo Lempiäinen | Aalto University
Ulrich Kohlenbach | Department of Mathematics, TU Darmstadt, Germany
Proof Theory with Applications to Nonlinear Analysis and Ergodic Theory
Ulrik Buchholtz | Stanford University
proof theory,constructive mathematics,type theory
Umang Mathur | University Of Illinois, Urbana Champaign
Formal methods
Vadim Kulikov | Kurt Gödel Research Center
descriptive set theory, knot theory, forcing, definability, games, model theory, recreational mathematics,
Valentin Goranko | Technical University of Denmark
mathematical, philosophical, and applied logic; mainly: logic in CS, AI and multi-agent systems
Valeria C. V. de Paiva | Rearden Commerce
Linear Logic, Intuitionisitic Logic, Constructive modal Logics, Hybrid Logics
Valeria C V de Paiva | Nuance Communications
proof theory, categorical logic, semantics of languages
Valeria de Paiva | Rearden Commerce
Valeria de Paiva | Nuance Communications
categorical logic, type theory, proof theory, semantics of NL, semantics of PLs
Vera Koponen | Department of Mathematics, Uppsala University
logic, model theory, combinatorics
Viggo Stoltenberg-Hansen | Uppsala University
Mathematical logic
Vladik Kreinovich | University of Texas at El Paso
constructive logic
William F Fearon | Hungarian Academy of Sciences
Artificial Intelligence, Artificial Life, Logic Theorems of Uncertainty
Yassine Ammar | Secondary Mathematics Teacher
Mathematics Didactics - Complexity in Mathematics teaching/learning - Proof construction - Teaching Logic.
Yì Nicholas Wáng | Bergen University College
Dynamic Epistemic Logic, Logic for Multiagent systems, Modal Logic
Yoshihiro Maruyama | University of Oxford
Categorical Logic, Philosophical Logic
Zhaohui Luo | RHUL, UK
Type theory, proof assistants, system verification, linguistic semantics
Zhiguang Zhao | Institute for Logic, Language and Computation
Modal Logic, Model theory
Zuzanna Gnatek | Trinity College Dublin
Zuzanna Gnatek | Trinity College Dublin
reference, self-reference, higher order quantification, abstraction principles, neo-Fregeanism, truth and paradox
Zuzanna Gnatek | Trinity College Dublin
reference, self-reference, higher order quantification, abstraction principles, neo-Fregeanism, truth and paradox
Øystein Linnebo | University of Oslo

Dept Of Philosophy, Ifikk

philosophical logic, philosophy of mathematics, higher-order logic, logicism

Pages

 Photo of Mount Akka / Àhkka massif seen from the high plateau Maukojaureh north-east of it by Tobias Radeskog / CC BY 3.0.