Search results for: Johan Benthem
Journal of Philosophical Logic > 2019 > 48 > 3 > 571-601
Journal of Philosophical Logic > 2019 > 48 > 4 > 649-684
Studia Logica > 2019 > 107 > 4 > 719-751
Lecture Notes in Computer Science > Logic and the Foundations of Game and Decision Theory – LOFT 8 > 151-173
Lecture Notes in Computer Science > Automated Reasoning > Invited Talk > 122-126
Studies in Fuzziness and Soft Computing > The Dynamics of Judicial Proof > Dynamic Inference and Choice in Dynamic Environments > 243-259
Lecture Notes in Computer Science > Logic, Rationality, and Interaction > Contributed Papers > 27-41
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 1-49
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Applications of Logics > 268-276
Synthese Library > Dynamic Formal Epistemology > 151-160
Journal of Logic, Language and Information > 2014 > 23 > 3 > 367-382
Studia Logica > 2014 > 102 > 2 > 235-265