Year:

Forthcoming articles
  1. Sujata Ghosh, Ben Meijering & Rineke Verbrugge (forthcoming). Strategic Reasoning: Building Cognitive Models From Logical Formulas. Journal of Logic, Language and Information:1-29.
    This paper presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. There have been extensive formal debates about the merits of the principle of backward induction among game theorists and logicians. Experimental economists and psychologists have shown that human subjects, perhaps due to their bounded resources, do not always follow the backward induction strategy, leading to unexpected outcomes. Recently, based on an eye-tracking study, it has turned out that even human subjects who (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Nicholas Asher & James Pustejovsky (forthcoming). The Metaphysics of Words in Context. Journal of Logic, Language and Information.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Luís S. Barbosa, Manuel A. Martins & Marta Carreteiro (forthcoming). A Hilbert-Style Axiomatisation for Equational Hybrid Logic. Journal of Logic, Language and Information:1-22.
    This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and first-order hybrid logic. Its soundness and completeness is discussed. This work is part of a broader research project on the development a general proof calculus for hybrid logics.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Patrick Blackburn & Maarten De Rijke (forthcoming). Rijke. Zooming in, Zooming Out. Journal of Logic, Language and Information.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Jean-Pierre Desclés, Anca Christine Pascu & Hee-Jin Ro (forthcoming). Aspecto-Temporal Meanings Analysed by Combinatory Logic. Journal of Logic, Language and Information:1-22.
    What is the meaning of language expressions and how to compute or calculate it? In this paper, we give an answer to this question by analysing the meanings of aspects and tenses in natural languages inside the formal model of an grammar of applicative, cognitive and enunciative operations (GRACE) (Desclés and Ro in Math Sci Hum 194:39–70, 2011), using the applicative formalism, functional types of categorial grammars and combinatory logic (CL) (Curry and Feys in Combinatory Logic. North-Holland Publishing, Amsterdam, 1958). (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Brendan S. Gillon (forthcoming). Complement Polyvalence and Permutation in English. Journal of Logic, Language and Information:1-11.
    In this paper, I address the problem wherein the same English word permits one of its complement positions to be satisfied by phrases of different categories. A well-known example of such an English word is the copula to be, whose complements include adjective phrases, noun phrases, prepositional phrases and adverbial phrases. I provide a way to treat such words, in particular verbs, as single lexical items through a conservative extension of the usual treatment of word classification as a pair comprising (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Marcus Kracht & Udo Klein (forthcoming). The Grammar of Code Switching. Journal of Logic, Language and Information:1-17.
    The idea that language is a homogeneous code is a massive simplification. In actual fact, we constantly use a wide array of codes, be they other languages, dialects, registers, or special purpose codes (for bank account numbers, book numbers, shoe sizes, and so on). In this paper we provide a formal analysis of code switching.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Marek Krótkiewicz & Krystian Wojtkiewicz (forthcoming). Functional and Structural Integration Without Competence Overstepping in Structured Semantic Knowledge Base System. Journal of Logic, Language and Information:1-15.
    Logic, language and information integration is one of areas broadly explored nowadays and at the same time promising. Authors use that approach in their 8 years long research into Structured Semantic Knowledge Base System. The aim of this paper is to present authors idea of system capable of generating synergy effect while storing various type of information. The key assumption, which has been adopted, is the thesis that the attempt to find universal way of the reality description is very inefficient (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. L. Moss (forthcoming). Review of" Exploring Logical Dynamics", to Appear In. [REVIEW] Journal of Logic, Language and Information.
     
    My bibliography  
     
    Export citation  
  10. Livy Real & Christian Retoré (forthcoming). Deverbal Semantics and the Montagovian Generative Lexicon Lambda !Mathsf {Ty}_n. Journal of Logic, Language and Information:1-20.
    We propose a lexical account of event nouns, in particular of deverbal nominalisations, whose meaning is related to the event expressed by their base verb. The literature on nominalisations often assumes that the semantics of the base verb completely defines the structure of action nominals. We argue that the information in the base verb is not sufficient to completely determine the semantics of action nominals. We exhibit some data from different languages, especially from Romance language, which show that nominalisations focus (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Livio Robaldo, Jakub Szymanik & Ben Meijering (forthcoming). On the Identification of Quantifiers' Witness Sets: A Study of Multi-Quantifier Sentences. Journal of Logic, Language and Information:1-29.
    Natural language sentences that talk about two or more sets of entities can be assigned various readings. The ones in which the sets are independent of one another are particularly challenging from the formal point of view. In this paper we will call them ‘Independent Set (IS) readings’. Cumulative and collective readings are paradigmatic examples of IS readings. Most approaches aiming at representing the meaning of IS readings implement some kind of maximality conditions on the witness sets involved. Two kinds (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Julien Saunier, Flavien Balbo & Suzanne Pinson (forthcoming). A Formal Model of Communication and Context Awareness in Multiagent Systems. Journal of Logic, Language and Information:1-29.
    Awareness is a concept that has been frequently studied in the context of Computer Supported Cooperative Work. However, other fields of computer science can benefit from this concept. Recent research in the multi-agent systems field has highlighted the relevance of complex interaction models such as multi-party communication and context awareness for simulation and adaptive systems. In this article, we present a generic interaction model that enables to use these different models in a standardized way. Emerging as a first-order abstraction, the (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. Fernando Soler-Toscano & Fernando R. Velázquez-Quesada (forthcoming). Generation and Selection of Abductive Explanations for Non-Omniscient Agents. Journal of Logic, Language and Information:1-28.
    Among the non-monotonic reasoning processes, abduction is one of the most important. Usually described as the process of looking for explanations, it has been recognized as one of the most commonly used in our daily activities. Still, the traditional definitions of an abductive problem and an abductive solution mention only theories and formulas, leaving agency out of the picture. Our work proposes a study of abductive reasoning from an epistemic and dynamic perspective. In the first part we explore syntactic definitions (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Johan van Benthem (forthcoming). Natural Language and Logic of Agency. Journal of Logic, Language and Information:1-16.
    This light piece reflects on analogies between two often disjoint streams of research: the logical semantics and pragmatics of natural language and dynamic logics of general information-driven agency. The two areas show significant overlap in themes and tools, and yet, the focus seems subtly different in each, defying a simple comparison. We discuss some unusual questions that emerge when the two are put side by side, without any pretense at covering the whole literature or at reaching definitive conclusions.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Hans van Ditmarsch & Tim French (forthcoming). Semantics for Knowledge and Change of Awareness. Journal of Logic, Language and Information:1-27.
    We examine various logics that combine knowledge, awareness, and change of awareness. An agent can become aware of propositional propositions but also of other agents or of herself. The dual operation to becoming aware, forgetting, can also be modelled. Our proposals are based on a novel notion of structural similarity that we call awareness bisimulation, the obvious notion of modal similarity for structures encoding knowledge and awareness.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. R. van Rooy (forthcoming). Quality and Quantity of Information Exchange', to Appear in J. Van Benthem & R. Van Rooy, Eds., Special Issue on Information Theories of The. [REVIEW] Journal of Logic, Language and Information.
     
    My bibliography  
     
    Export citation  
  17. Fernando R. Velázquez-Quesada (forthcoming). Dynamic Epistemic Logic for Implicit and Explicit Beliefs. Journal of Logic, Language and Information:1-34.
    Epistemic logic with its possible worlds semantic model is a powerful framework that allows us to represent an agent’s information not only about propositional facts, but also about her own information. Nevertheless, agents represented in this framework are logically omniscient: their information is closed under logical consequence. This property, useful in some applications, is an unrealistic idealisation in some others. Many proposals to solve this problem focus on weakening the properties of the agent’s information, but some authors have argued that (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Mathieu Vidal (forthcoming). Speed Up the Conception of Logical Systems with Test-Driven Development. Journal of Logic, Language and Information:1-21.
    In this paper, I stress the utility of employing test-driven development (TDD) for conceiving logical systems. TDD, originally invented in the context of Extreme Programming, is a methodology widely used by software engineers to conceive and develop programs. Its main principle is to design the tests of the expected properties of the system before the development phase. I argue that this methodology is especially convenient in conceiving applied logics. Indeed, this technique is efficient with most decidable logics having a software (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. H. Wansing (forthcoming). A Review of John Horty's 'Agency and Deontic Logic'. [REVIEW] Journal of Logic, Language and Information.
    No categories
     
    My bibliography  
     
    Export citation  
  20. Andrzej Wiśniewski (forthcoming). Support and Sets of Situations. Journal of Logic, Language and Information:1-14.
    An alternative conceptual setting of the basic system of inquisitive semantics is presented. A situational interpretation of the proposed formalism is discussed.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation