> publications

:: journal articles

  • Forthcoming Lorenz Demey and Hans Smessaert, 'Combinatorial Bitstring Semantics for Arbitrary Logical Fragments', 39 pp., forthcoming in Journal of Philosophical Logic. (Available online at SpringerLink.)
  • Forthcoming 'The Porphyrian Tree and Multiple Inheritance: A Rejoinder to Tylman on Computer Science and Philosophy', 8 pp., forthcoming in Foundations of Science. (Available online at SpringerLink.)
  • Forthcoming Hans Smessaert and Lorenz Demey, 'Duality Patterns in 2-PCD Fragments', 43 pp., accepted for publication in South American Journal of Logic.
  • 2017 'Using Syllogistics to Teach Metalogic', Metaphilosophy 48: 575 - 590.
  • 2017 Lorenz Demey and Philipp Steinkrüger, 'De logische geometrie van Johannes Buridanus' modale achthoek [The Logical Geometry of John Buridan's Modal Octagon]', Tijdschrift voor Filosofie 79: 217 - 238.
  • 2017 Luca Gili and Lorenz Demey, 'Thomas van Aquino, niet-normale modale logica's en het probleem van toekomstige contingenties [Thomas Aquinas, Non-Normal Modal Logics and the Problem of Future Contingents]', Tijdschrift voor Filosofie 79: 259 - 276.
    • 2016 'De dynamische wending in de epistemische logica [The Dynamic Turn in Epistemic Logic]', Tijdschrift voor Filosofie 78: 365 - 391. (Available online at Peeters Online Journals.)
    • 2016 Lorenz Demey and Hans Smessaert, 'Metalogical Decorations of Logical Diagrams', Logica Universalis 10: 233 - 292(Available online at SpringerLink.)
    • 2015 'The Dynamics of Surprise', Logique et Analyse 230: 251 - 277.
    • 2014 'Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic', Synthese 191: 409 - 438. (Available online at SpringerLink.)
    • 2014 'Ockham on the (In)fallibility of Intuitive Cognition', Logical Analysis and History of Philosophy 17: 193 - 209.
    • 2014 Hans Smessaert and Lorenz Demey, 'Logical Geometries and Information in the Square of Oppositions', Journal of Logic, Language and Information 23: 527 - 565. (Available online at SpringerLink.)
    • 2013 'Contemporary Epistemic Logic and the Lockean Thesis', Foundations of Science 18: 599 - 610. (Available online at SpringerLink.)
    • 2011 'Some Remarks on the Model Theory of Epistemic Plausibility Models', Journal of Applied Non-Classical Logics 21: 375 - 395. (Preprint available online.)
    • 2009 'Een geünificeerde theorie van bepaalde en onbepaalde beschrijvingen [A Unified Theory of Definite and Indefinite Descriptions]', Algemeen Nederlands Tijdschrift voor Wijsbegeerte 101: 82 - 98. (Published in Dutch.)

    :: book chapters
      • 2017 Hans Smessaert and Lorenz Demey, 'The Unreasonable Effectiveness of Bitstrings in Logical Geometry', in The Square of Opposition: A Cornerstone of Thought, Jean-Yves Beziau and Gianfranco Basti (eds.), Springer, Basel, pp. 197 - 214. (Available online at SpringerLink.)
      • 2016 Lorenz Demey and Hans Smessaert, 'The Interaction between Logic and Geometry in Aristotelian Diagrams', in Diagrammatic Representation and Reasoning, Mateja Jamnik, Yuri Uesaka and Stephanie Elzer Schwartz (eds.), Lecture Notes in Computer Science (LNCS) 9781, Springer, Berlin, pp. 67 - 82.
      • 2016 Hans Smessaert and Lorenz Demey, 'Visualising the Boolean Algebra B_4 in 3D', in Diagrammatic Representation and Reasoning, Mateja Jamnik, Yuri Uesaka and Stephanie Elzer Schwartz (eds.), Lecture Notes in Computer Science (LNCS) 9781, Springer, Berlin, pp. 289 - 292.
      • 2016 Lorenz Demey and Hans Smessaert, 'Duality in Logic and Language', in Internet Encyclopedia of Philosophy, James Fieser and Bradley Dowden (eds.), University of Tennessee, Martin, TN. (Available online.)
      • 2016 Lorenz Demey and Hans Smessaert, 'Shape Heuristics in Aristotelian Diagrams', in Shapes 3.0. The Shape of Things, Oliver Kutz, Stefano Borgo and Mehul Bhatt (eds.), CEUR-WS 1616, pp. 35 - 45. (Available online.)
      • 2015 'Interactively Illustrating the Context-Sensitivity of Aristotelian Diagrams', in Modeling and Using Context, Henning Christiansen, Isidora Stojanovic and George Papadopoulous (eds.), Lecture Notes in Computer Science (LNCS) 9405, Springer, Berlin, pp. 331 - 345.
      • 2015 Lorenz Demey and Joshua Sack, 'Epistemic Probabilistic Logic', in the Handbook of Epistemic Logic, Hans van Ditmarsch, Joseph Halpern, Wiebe van der Hoek and Barteld Kooi (eds.), College Publications, London, pp. 147 - 202.
      • 2015 Hans Smessaert and Lorenz Demey, 'Béziau's Contributions to the Logical Geometry of Modalities and Quantifiers', in The Road to Universal Logic, Arnold Koslow and Arthur Buchsbaum (eds.), Springer, Basel, pp. 475 - 494. (Available online at SpringerLink.)
      • 2015 Hans Smessaert and Lorenz Demey, 'La Géometrie Logique du Dodécaèdre Rhombique des Oppositions [The Logical Geometry of the Rhombic Dodecahedron of Oppositions]', in Le Carré et ses Extensions: Approches Théoriques, Pratiques et Historiques, Saloua Chatti (ed.), Université de Tunis, Tunis, pp. 127 - 157.
      • 2014 'Surprise in Probabilistic Dynamic Epistemic Logic', in Logic and Interactive Rationality Yearbook 2012, volume I, Zoé Christoff, Paolo Galeazzi, Nina Gierasimczuk and Sonja Smets (eds.), Institute for Logic, Language and Computation, Amsterdam, pp. 177 - 200. (Available online.)
      • 2014 Lorenz Demey and Barteld Kooi, 'Logic and Probabilistic Update', in Johan van Benthem on Logic and Information Dynamics, Alexandru Baltag and Sonja Smets (eds.), Springer, Dordrecht, pp. 381 - 404. (Available online at SpringerLink.)
      • 2014 Lorenz Demey and Hans Smessaert, 'The Relationship between Aristotelian and Hasse Diagrams', in Diagrammatic Representation and Inference, Tim Dwyer, Helen Purchase and Aidan Delaney (eds.), Lecture Notes in Computer Science (LNCS) 8578, Springer, Berlin, pp. 213 - 227.
      • 2014 Lorenz Demey and Hans Smessaert, 'Logische geometrie en pragmatiek [Logical Geometry and Pragmatics]', in Patroon en argument, Freek Van de Velde, Hans Smessaert, Frank Van Eynde and Sara Verbrugge (eds.), Leuven University Press, Leuven, pp. 553 - 564.
      • 2014 Hans Smessaert and Lorenz Demey, 'Logical and Geometrical Complementarities between Aristotelian Diagrams', in Diagrammatic Representation and Inference, Tim Dwyer, Helen Purchase and Aidan Delaney (eds.), Lecture Notes in Computer Science (LNCS) 8578, Springer, Berlin, pp. 246 - 260.
      • 2013 Lorenz Demey, Barteld Kooi and Joshua Sack, 'Logic and Probability', available online in the Stanford Encyclopedia of Philosophy.
      • 2012 'Structures of Oppositions in Public Announcement Logic', in Around and Beyond the Square of Opposition, Jean-Yves Béziau and Dale Jacquette (eds.), Springer, Basel, pp. 313 - 339. (Available online at SpringerLink.)
      • 2012 'Algebraic Aspects of Duality Diagrams', in Diagrammatic Representation and Inference, Philip T. Cox,  Beryl Plimmer and Peter Rodgers (eds.), Lecture Notes in Computer Science (LNCS) 7352, Springer, Berlin, pp. 300 - 302. (Available online at SpringerLink.)
      • 2012 'Looking for the Right Notion of Epistemic Plausibility Model', in Logic, Philosophy and History of Science in Belgium II. Proceedings of the Young Researcher Days 2010, Bart Van Kerkhove, Thierry Libert, Geert Vanpaemel and Pierre Marage (eds.), KVAB, Brussels, pp. 73 - 78.
      • 2012 'Narrative and Information: Comment on Löwe', in Proceedings of the Third Workshop in the Philosophy of Information, Patrick Allo and Giuseppe Primiero (eds.), KVAB, Brussels, pp. 29 - 34.
      • 2011 'Agreement Theorems in Probabilistic Dynamic Epistemic Logic', in Logic and Interactive Rationality Yearbook 2010, Davide Grossi, Stefan Minica, Ben Rodenhäuser and Sonja Smets (eds.), Institute for Logic, Language and Computation, Amsterdam, pp. 1 - 26. (Available online.)

      :: books
      • 2017 Filip Buekens and Lorenz Demey, Redeneren en argumenteren. Een inleiding voor juristen [Reasoning and arguing. An introduction for lawyers]. Acco, Leuven.

      :: edited books
      • 2012 
         Jonas De Vuyst and Lorenz Demey (eds.), 
        Future Directions for Logic. Proceedings of PhDs in Logic III, IFCoLog Proceedings 2, College Publications, London.

      :: work in progress 
      • 'Aristotelian Diagrams for Semantic and Syntactic Consequence', 22 pp. (submitted)
      • 'Aristotelian Diagrams in the Debate on Future Contingents. A Methodological Reflection on Hess's Open Future Square of Opposition', 12 pp. (submitted)
      • 'Computing the Maximal Boolean Complexity of Families of Aristotelian Diagrams', 25 pp. (submitted)
      • 'Metalogic, Metalanguage and Logical Geometry', 23 pp. (submitted)
      • 'The Logical Geometry of Russell's Theory of Definite Descriptions', 34 pp. (submitted)
      • Lorenz Demey and Hans Smessaert, 'Geometric and Cognitive Differences between Aristotelian Diagrams for the Boolean Algebra B_4', 28 pp. (submitted)
      • Lorenz Demey and Hans Smessaert, 'Logico-Geometrical Distance in Polyhedral Aristotelian Diagrams for the Boolean Algebra B_4', 21 pp. (submitted)
      • Lorenz Demey and Hans Smessaert, 'The Logical Geometry of the Cube of Opposition in Knowledge Representation', 3 pp. (submitted)


      • 'Boolean Considerations on John Buridan's Octagons of Opposition'
      • 'Combinatorial Considerations on Logical Geometry'
      • 'Dependence and Independence in Logical Geometry'
      • 'It is now easy to see that... A Case Study in Corpus-Based Philosophy of Mathematics'
      • 'Logical Geometry and Mathematical Beauty'
      • 'Weak Probabilistic Interpretations of the Square of Opposition'
      • Lorenz Demey and Hans Smessaert, 'Graded Aristotelian Relations'
      • Lorenz Demey and Hans Smessaert, 'The Logical Geometry of the Boolean Algebra B_4'
      • Lorenz Demey and Hans Smessaert, 'Visualizing the Boolean Algebra B_3'
      • Philipp Steinkrüger and Lorenz Demey, 'John Buridan on the Modal Octagon and its Internal Structure'

      :: book reviews
      • 2014 'Catarina Dutilh Novaes. Formal Languages in Logic. A Philosophical and Cognitive Analysis', Tijdschrift voor Filosofie 76: 155 - 158. (Published in Dutch; pdf available.)
      • 2013 Lorenz Demey and Hans Smessaert, 'Jean-Yves Béziau and Gillman Payette (eds.). The Square of Opposition. A General Framework for Cognition; Jean-Yves Béziau and Dale Jacquette (eds.). Around and Beyond the Square of Opposition' (joint review), Tijdschrift voor Filosofie 75: 831 - 833. (Published in Dutch; pdf available.)
      • 2013 'David Papineau. Philosophical Devices. Proofs, Probabilities, Possibilities, and Sets', Tijdschrift voor Filosofie 75: 591 - 593. (Published in Dutch, pdf available.)
      • 2013 'Robert Kowalski. Computational Logic and Human Thinking', Tijdschrift voor Filosofie 75: 395 - 397. (Published in Dutch, pdf available.)
      • 2013 'Adriane A. Rini and Max J. Cresswell. The World-Time Parallel. Tense and Modality in Logic and Metaphysics', Tijdschrift voor Filosofie 75: 168 - 171. (Published in Dutch, pdf available.)
      • 2012 'Fenrong Liu. Reasoning about Preference Dynamics', Tijdschrift voor Filosofie 74: 818 - 820. (Published in Dutch, pdf available.)
      • 2012 'Steven Brams. Game Theory and the Humanities. Bridging Two Worlds', Tijdschrift voor Filosofie 74: 381 - 383. (Published in Dutch, pdf available.)
      • 2012 'Johan van Benthem, Amitabha Gupta and Rohit Parikh (eds.). Proof, Computation and Agency. Logic at the Crossroads; Johan van Benthem, Amitabha Gupta and Eric Pacuit (eds.). Games, Norms and Reasons. Logic at the Crossroads' (joint review), Tijdschrift voor Filosofie 74: 379 - 381. (Published in Dutch, pdf available.)
      • 2012 'Sanford Goldberg. Relying on Others. An Essay in Epistemology', Tijdschrift voor Filosofie 74: 160 - 163. (Published in Dutch, pdf available.)
      • 2011 'Boudewijn de Bruin. Explaining Games. The Epistemic Programme in Game Theory', Tijdschrift voor Filosofie 73: 789 - 791. (Published in Dutch, pdf available.)
      • 2011 'Vincent Hendricks and Olivier Roy (eds.). Epistemic Logic: 5 Questions; Vincent Hendricks and Duncan Pritchard (eds.). Epistemology: 5 Questions' (joint review), Tijdschrift voor Filosofie 73: 596 - 598. (Published in Dutch, pdf available.)
      • 2011 'Frank Jackson. Language, Names, and Information', Tijdschrift voor Filosofie 73: 594 - 596. (Published in Dutch, pdf available.)
      • 2011 'Martin Peterson. An Introduction to Decision Theory', Tijdschrift voor Filosofie 73: 591 - 594. (Published in Dutch, pdf available.)
      • 2011 'Jerome Kagan. The Three Cultures. Natural Sciences, Social Sciences, and the Humanities in the 21st Century', Tijdschrift voor Filosofie 73: 188 - 190. (Published in Dutch, pdf available.)
      • 2010 'Leila Haaparanta (ed.). The Development of Modern Logic', Tijdschrift voor Filosofie 72: 606 - 607. (Published in Dutch; pdf available.)
      • 2010 'Jean Paul van Bendegem. Hamlet en entropie. De twee culturen, een halve eeuw later [Hamlet and Entropy. The Two Cultures after 50 years]', Tijdschrift voor Filosofie 72: 374 - 376. (Published in Dutch; pdf available.)
      • 2010 'Joe Salerno (ed.). New Essays on the Knowability Paradox', Tijdschrift voor Filosofie 72: 356 - 357. (Published in Dutch; pdf available.)
      • 2010 'Herman Cappelen and John Hawthorne. Relativism and Monadic Truth', Tijdschrift voor Filosofie 72: 173 - 174. (Published in Dutch; pdf available.)
      • 2009 'Carrie Jenkins. Grounding Concepts. An Empirical Basis for Arithmetical Knowledge', Tijdschrift voor Filosofie 71: 796 - 798. (Published in Dutch; pdf available.)
      • 2009 'Paolo Mancosu (ed.). The Philosophy of Mathematical Practice', Tijdschrift voor Filosofie 71: 635 - 637. (Published in Dutch; pdf available.)
      • 2009 'Charles Travis. Occasion-Sensitivity', Tijdschrift voor Filosofie 71: 633 - 635. (Published in Dutch; pdf available.)
      • 2009 'Kathrin Koslicki. The Structure of Objects', Tijdschrift voor Filosofie 71: 411 - 413. (Published in Dutch; pdf available.)
      • 2009 'Gillian Russell. Truth in Virtue of Meaning', Tijdschrift voor Filosofie 71: 408 - 410. (Published in Dutch; pdf available.)

      :: mathematical reviews (MathSciNet)
      • 2015 'Henry Prakken and Giovanni Sartor. Law and logic: A review from an argumentation perspective', MR3373963.
      • 2015 'Ivan Hu. Epistemicism, paradox, and conditional obligations', MR3361483.

      :: theses
      • 2014 Believing in Logic and Philosophy, PhD Thesis in Logic and Analytical Philosophy, supervised by Stefaan Cuypers, assessed by Jan Heylen, Leon Horsten, Christoph Kelp and Bart Raymaekers. (Available online in the KU Leuven Lirias repository; the slides of the defense are available here.)
      • 2010 Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic, Master's Thesis in Logic, supervised by Johan van Benthem and Dick de Jongh, assessed by Eric Pacuit and Cédric Dégremont. (Available online in the Master of Logic Thesis Series of ILLC Publications, item MoL-2010-14.)
      • 2008 Kwantificationele theorieën van beschrijvingen [Quantificational Theories of Descriptions], Master's Thesis in Philosophy, supervised by Leon Horsten, assessed by Igor Douven and Rafael De Clerq.

      :: other
      • 2013 Lorenz Demey and Jan Heylen, 'The Syntactical Treatment of Modalities, 6 February' (conference report), The Reasoner, vol. 7, nr. 4 (April 2013): p. 45.
      • 2012 Lorenz Demey and Jonas De Vuyst, 'Editors' Preface', 
        in Jonas De Vuyst and Lorenz Demey (eds.), Future Directions for Logic. Proceedings of PhDs in Logic III, IFCoLog Proceedings 2, College Publications, London, pp. xi - xiii.
      • 20
        11 Lorenz Demey and Jonas De Vuyst, 'PhDs 
        in Logic III, 17-18 February' (conference report), The Reasoner, vol. 5, nr. 3 (March 2011): pp. 40 - 41. (Available online.)
      • 2010 'Neighborhood Semantics for Public Announcement Logic', unpublished manuscript, 20 pp.