the scandinavian logic society

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

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

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

- « first
- ‹ previous
- 1
- 2
- 3
- 4