the scandinavian logic society

slideshow 1

List of members

Aarne Ranta | Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg
Type Theory, Computational Linguistics, Functional Programming
Achraf | Philosophy student
Logic. Epistemology. Metaphysics.
Ahmed El Azhary | Independent Researcher
Arabic Logic, Cognitive Sciences, Pedagogical Studies
Ahti-Veikko Pietarinen | University of Helsinki
Philosophical logic, Logic & Language, Logic & Cognition, History and Philosophy of Logic
Alexandra Soskova | Sofia university
Computability and effective model theory
Alexandre Costa-Leite | University of Brasilia
Philosophical Logic, Philosophy of Logic
Alfred Askeljung | KTH, Stockholm and Mensa Sweden
quantum computing
Ali Enayat | American University (Washington, DC)
Model Theory of Foundational Theories (PA, ZF, ...)
Alireza Sayadmansour | MA Student of Philosophy at the University of Tehran & Assistant Editor of the Journal 'Ethical Research'
Ethics, Islamic Philosophy, Arabic and Medieval Logic
Allen L. Mann | Birkhäuser Science
Logic with imperfect information
Aman Tripathi | IIT Bombay
Logic, Philosophy of Science
Amir Hossein Rahdari | Tarbiat Modares University

amirrahdari.branded.me

Sustainability; CSR
Amir Mosavi | Adjunct Professor, Obuda University
Logics, Machine Learning, Data Mining, Analytics
Anders J. Schoubye | Carnegie Mellon University, Dept. of Philosophy
Philosophy of Language, Epistemology, Philosophical Logic
Andrea Reichenberger | University Paderborn, Germany

under construction

Women in Logic, Mathematics and Physics
Andrea Strollo | university of helsinki
theories of truth meta-mathematics
Andreas Aabrandt | Technical University of Denmark
Category theory, topology, geometry, control theory
Andreas Herzig | University of Toulouse, IRIT, CNRS
modal logic
Andreas Schmidt Jensen | Technical University of Denmark
Andreas Stokke | Centre for the Study of Mind in Nature, University of Oslo
Philosophy of language, semantics, philosophy of logic
Andrés Villaveces | Universidad Nacional de Colombia (Bogotá)
Model Theory, Set Theory, Non-Elementary Classes
Angel Nepomuceno | Universidad de Sevilla
Non classical logics, formal epistemology
Annika Siders | University of Helsinki
Ansten Klev | Leiden University
Philosophy and history of logic and mathematics
Anton Setzer | Swansea University
Proof theory, type theory, software verification
Antti Kuusisto | University of Tampere
modal logic, finite model theory
Arnold Beckmann | Swansea University
Proof Theory, Bounded Arithmetic, Propositional Proof Complexity
Åsa Hirvonen | University of Helsinki
model theory, metric structures
Asger Törnquist | University of Copenhagen, Department of Mathematics
Descriptive set theory, applications of set theory to ergodic theory and operator algebras
Azadeh Neman
Model theory
B.N. | Logic
Logic
Bahareh Afshari | TU Wien
Proof Theory, Formal Language Theory, Fixpoint and Modal Logics
Bartosz Janik | Jagiellonian University
legal logic
Bengt Nordström | Chalmers
semantics of natural language, type theory, dialogues,
Bernd Buldt | IPFW
Logic and Philosophy of Mathematics
Berwanger | CNRS, ENS Cachan, France
Descriptive Complexity, Graph Structure Theory, Game Theory, Independence Logic
Bruno Rigonato Mundim
Type Theory, Proof-theory, Philosophy of logic and mathematics
Camillo Fiorentini | Department of Computer Science, Universita' degli Studi di Milano
Carroline Dewi Puspa Kencana Ramli | DTU
Carsten Schürmann | IT University of Copenhagen
Programming languages, Type Theory, Logical Frameworks, Electronic Elections
Casper Bach Poulsen | Swansea University
Programming Languages, Semantics, Type Theory, Static Analysis
Casper Storm Hansen | University of Aberdeen
Semantic and set theoretic paradoxes, constructive matematics
Cezary Cieslinski | University of Warsaw
mathematical and philosophical logic, truth theory, model theory
Charles Grellois | University of Dundee
linear logic, denotational semantics, game semantics, higher-order model-checking, coinductive rewriting, differential privacy
Christian Espíndola | Stockholm university
Foundations - Set theory - Model theory - Metamathematics - Category theory
Christian Theil Have | Roskilde University
Christoph Benzmueller | FU Berlin
Classical higher order logic as universal logic, embeddings of non-classical logics, automation
Claes Strannegård | University of Gothenburg
human reasoning
Claudio Animato | University of Naples "Federico II", Department of Philosophy
Mathematical Logic and Foundations of Mathematics
Constantin E. Dumitrescu | Independent
Logic, Ontology etc
Cristian Prisacariu | Department of Informatics, University of Oslo
modal logics, deontic/temporal/dynamic logics, universal algebra and rewriting theory, logics for concurrency
Crystal Chang Din | University of Oslo
Logic, Specification, Verification
Cynthia M. Grund | University of Southern Denmark
Semantics, Philosophy of Language, Logic and Music
Dag Normann | The University of Oslo
Computability Theory
Dag Prawitz | Department of Philosophy, Stockholm University
Proof theory, Theory of meaning
Daisuke Ikegami | University of California, Berkeley
Set Theory
Dan Saattrup Nielsen | University of Bristol
Set theory, inner model theory
Dan Saattrup Nielsen | University of Bristol
Set theory, inner model theory
David Ross | University of Hawaii
Nonstandard analysis; model theory
David Sabonis | TU Munich & University of Copenhagen
Quantum Logic
David Sabonis | TU Munich & University of Copenhagen

-

Quantum Logic
David Sherratt | University of Bath
Logic, Computation, Proof Theory.
Dirk Pattinson | Imperial College London
Applied Logic, Automated Reasoning
Donald Edward Stahl | Washington University in St. louis
Political Entification, International Affairs
Douglas Sutherland Bridges | University of Canterbury
constructive analysis, topology, and reverse mathematics
Dr. Mustafa Hashmi | Mälardalen University, Västerås, Sweden
Logic Programming, Non-Reasoning, Classical Logic, Model and Defeasible Logics
Dr. Mustafa Hashmi | Mälardalen University, Västerås, Sweden
Logic Programming, Non-Reasoning, Classical Logic, Model and Defeasible Logics
Dr.Stenly Djatah | Universitas Pelita Harapan, Lippo Karawaci, Banten INDONESIA
Aristotelian Logic, Syncategomatic, Predicate logic, Ethics
Ebba Gullberg | Umeå University
Philosophy of mathematics
Eliya Cohen | Princeton University
Erik Palmgren | Stockholm University, Department of Mathematics
Mathematical Logic and Foundations
Erman | PhD Student
Description Logics, Non-Monotonic Reasoning, Preference Handling, Algorithmic Decision and Game Theory
Esko Turunen | Tampere University of Technology
Non-classical logics, algebraic logic, applied logics
Espen H. Lian | University of Oslo
modal logic, nonmonotonic logic
Evgeny Kuznetsov | Andria Razmadze Mathematical Institute
Category theory, Categorical logic, Modal logoc.
Eyvind Martol Briseid | Department of Mathemetics, University of Oslo
Fan Yang | University of Helsinki
Dependence Logic, Intuitionistic Logic
Farshad Badie | PhD candidate . Aalborg University
Description Logics , Ontologies , Modal Logic , Temporal Logic
Ferenc Csatári | Eötvös Lóránd University
Logic, philosophy of science
Flemming Nielson | DTU Informatics
Static Analysis, Model Checking, Semantics, Modal Logics, Security
Fredrik Engström | University of Gothenburg
Models of PA, Dependence logic, Logical constants
Fredrik Nordvall Forsberg | University of Strathclyde
Type Theory, Constructive Logic/Mathematics, Categorical Logic
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
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 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 Grue Simonsen | University of Copenhagen

Pages

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