the scandinavian logic society

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