the scandinavian logic society

slideshow 1

List of members

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
Yunjie Shi | Miss
Yunjie Shi | Miss
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.