the scandinavian logic society

slideshow 1

List of members

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.