First-order dialogical games and tableaux N Clerbout Journal of Philosophical Logic 43 (4), 785-801, 2014 | 87 | 2014 |
Etude sur quelques semantiques dialogiques: Concepts fondamentaux et éléments de metathéorie N Clerbout Leiden University Institute for Philosophy, Faculty of Humanities, Leiden …, 2013 | 76 | 2013 |
La sémantique dialogique: Notions fondamentales et éléments de metathéorie N Clerbout College publications, 2014 | 74* | 2014 |
On dialogues and natural deduction S Rahman, N Clerbout, L Keiff Acts of knowledge, history, philosophy, logic, 301-336, 2009 | 69* | 2009 |
Immanent Reasoning Or Equality in Action: A Plaidoyer for the Play Level S Rahman, Z McConaughey, A Klev, N Clerbout Springer, 2018 | 64 | 2018 |
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT Demonstrations and the Axiom of Choice N Clerbout, S Rahman Springer, 2015 | 45 | 2015 |
Finiteness of plays and the dialogical problem of decidability N Clerbout IfCoLog Journal of Logics and their Applications 1 (1), 115-130, 2014 | 38 | 2014 |
Context-Sensitivity in Jain Philosophy: A Dialogical Study of Siddharṣigaṇi’s Commentary on the Handbook of Logic N Clerbout, MH Gorisse, S Rahman Journal of Philosophical Logic 40 (5), 633-662, 2011 | 36 | 2011 |
Constructive type theory and the dialogical approach to meaning S Rahman, N Clerbout Baltic International Yearbook of Cognition, Logic and Communication 8 (1), 7, 2013 | 30 | 2013 |
The constructive type theory and the dialogical turn: a new start for the Erlanger Konstruktivismus S Rahman, N Clerbout, L Keiff Dialogische Logik, Münster: Mentis, 2014 | 24* | 2014 |
On play-objects in dialogical games. Towards a Dialogical approach to Constructive Type Theory S Rahman, N Clerbout, Z McConaughey P. Allo 5, 127-154, 2014 | 16* | 2014 |
Interacción E igualdad. La interpretación dialógica de la teoría constructiva de tipos S Rahman, N Clerbout, J Redmond crítica REVISTA HISPANOAMERICANA DE FILOSOFÍA, 51-91, 2017 | 15* | 2017 |
The dialogical take on Martin-Löf's proof of the Axiom of Choice S Rahman, N Clerbout, R Jovanovic South American Journal of Logic 1 (1), 179-208, 2015 | 14 | 2015 |
On dialogues, predication and elementary sentences S Rahman, N Clerbout Revista de Humanidades de Valparaiso, 7-46, 2013 | 8 | 2013 |
Dialogical games for first-order logic and tableaux N Clerbout 14e Congrès de Logique, Méthodologie et Philosophie des Sciences, 19-26, 2011 | 8 | 2011 |
Introducing consistency in a dialogical framework for paraconsistent logic E Barrio, N Clerbout, S Rahman | 6 | 2017 |
A Brief Introduction to Constructive Type Theory S Rahman, Z McConaughey, A Klev, N Clerbout Immanent Reasoning or Equality in Action, 17-55, 2018 | 3 | 2018 |
Objective Knowledge and the not Dispensability of Epistemic Subjects. Some remarks on Popper's notion of objective knowledge S Rahman, J Redmond, N Clerbout | 3 | 2016 |
Knowledge and its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory S Rahman, R Jovanovic, N Clerbout Epistemology, Knowledge and the Impact of Interaction, 63-122, 2016 | 3 | 2016 |
Interacción, Lógica y Contenido Diálogos materiales y lenguajes completamente interpretados en la Teoría Constructiva de Tipos S Rahman, J Redmond, N Clerbout | 2 | 2017 |