-
Ardeshir, M., Ruitenburg, W. and Salehi, S., IntuitionisticAnnals of Pure and Applied Logic 124 301. 2003.
-
33Index of Authors of Volume 13Journal of Logic, Language and Information 13 (535): 535-535. 2004.
-
13Hybrid Partial Type TheoryJournal of Symbolic Logic 1-43. forthcoming.In this article we define a logical system called Hybrid Partial Type Theory ( $\mathcal {HPTT}$ ). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of modal logic in which it is possible to name worlds and evaluate expressions with respect to particular worlds. We motivate this combination of ideas in the in…Read more
-
27Being Deceived: Information Asymmetry in Second‐Order False Belief TasksTopics in Cognitive Science 12 (2): 504-534. 2020.Braüner, Blackburn and Polyanskaya relate children’s being deceived to their theory of mind skills. Second‐order false‐belief tasks are often used to test children’s second‐order theory of mind development. The article gives a logical analysis of the reasoning needed to solve four types of second‐order false belief tasks, distinguished on whether a story character is deceived, and on whether the story hinges on facts in the world changing. The principle of inertia plays an important role. [74]
-
20Linguistic Recursion and Danish Discourse Particles: Language in Children with Autism Spectrum DisorderIn Maxime Amblard, Michel Musiol & Manuel Rebuschi (eds.), (In)Coherence of Discourse: Formal and Conceptual Issues of Language, Springer Verlag. pp. 21-42. 2021.In a study involving 62 Danish children with autism spectrum disorder, we obtained results showing that the mastery of linguistic recursion is a significant predictor of success in second-order false belief tasks. The same study also showed that the mastery of linguistic recursion was not significantly correlated with success in a task involving three heavily used Danish discourse particles. This calls for further explanation, as the reasoning involved in both types of tasks seems similar. In th…Read more
-
6An Axiom System for Basic Hybrid Logic with Propositional QuantifiersIn Helle Hvid Hansen, Andre Scedrov & Ruy J. G. B. De Queiroz (eds.), Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings, Springer Nature Switzerland. pp. 118-134. 2023.We present an axiom system for basic hybrid logic extended with propositional quantifiers (a second-order extension of basic hybrid logic) and prove its (basic and pure) strong completeness with respect to general models.
-
10Logic, Language and Computation, Volume 3 (edited book)Center for the Study of Language and Inf. 2000.With the rise of the internet and the proliferation of technology to gather and organize data, our era has been defined as "the information age." With the prominence of information as a research concept, there has arisen an increasing appreciation of the intertwined nature of fields such as logic, linguistics, and computer science that answer the questions about information and the ways it can be processed. The many research traditions do not agree about the exact nature of information. By bring…Read more
-
23Representation, reasoning, and relational structures: a hybrid logic manifestoLogic Journal of the IGPL 8 (3): 339-365. 2000.This paper is about the good side of modal logic, the bad side of modal logic, and how hybrid logic takes the good and fixes the bad.In essence, modal logic is a simple formalism for working with relational structures . But modal logic has no mechanism for referring to or reasoning about the individual nodes in such structures, and this lessens its effectiveness as a representation formalism. In their simplest form, hybrid logics are upgraded modal logics in which reference to individual nodes i…Read more
-
35Formal Methods and Science in Philosophy: Introduction to the Special IssueBulletin of the Section of Logic 49 (2): 105-107. 2020.Introduction to the Special Issue containing selected contributions to the conference "Formal Methods and Science in Philosophy IV", Inter-University Center, Dubrovnik, April 11-13, 2019.
-
34The computational complexity of hybrid temporal logicsLogic Journal of the IGPL 8 (5): 653-679. 2000.In their simplest form, hybrid languages are propositional modal languages which can refer to states. They were introduced by Arthur Prior, the inventor of tense logic, and played an important role in his work: because they make reference to specific times possible, they remove the most serious obstacle to developing modal approaches to temporal representation and reasoning. However very little is known about the computational complexity of hybrid temporal logics.In this paper we analyze the com…Read more
-
591Editorial: Alan Turing and artificial intelligenceJournal of Logic, Language and Information 9 (4): 391-395. 2000.The papers you will find in this special issue of JoLLI develop letter and spirit of Turing’s original contributions. They do not lazily fall back into the same old sofa, but follow – or question – the inspiring ideas of a great man in the search for new, more precise, conclusions. It is refreshing to know that the fertile landscape created by Alan Turing remains a source of novel ideas.
-
22Logic and Interaction: Foreword to the Special IssueJournal of Logic, Language and Information 31 (2): 137-139. 2022.
-
8This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; phil…Read more
-
What Are Hybrid Languages?In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 41-62. 1998.
-
14Indexical Hybrid Tense LogicIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 144-160. 1998.
-
Logic and Philosophy of Time: Themes from Prior, Volume 1 (edited book)Aalborg University Press. 2017.
-
Logic and Philosophy of Time: Further Themes from Prior (edited book)Aalborg University Press. 2019.
-
56Handbook of Modal Logic (edited book)Elsevier. 2006.The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are survey…Read more
-
16Synthetic completeness proofs for Seligman-style tableau systemsIn Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11, Csli Publications. pp. 302-321. 2016.
-
20Indexical Hybrid Tense LogicIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 144-160. 1998.
-
What Are Hybrid Languages?In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 41-62. 1998.
-
28Completeness in Hybrid Type TheoryJournal of Philosophical Logic 43 (2-3): 209-238. 2014.We show that basic hybridization makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin…Read more
Areas of Specialization
Logic and Philosophy of Logic |