Year:

  1.  3
    Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power.Thomas Ågotnes, Natasha Alechina & Rustam Galimullin - 2022 - Journal of Logic, Language and Information 31 (2):141-166.
    Public announcement logic is an extension of epistemic logic with dynamic operators that model the effects of all agents simultaneously and publicly acquiring the same piece of information. One of the extensions of PAL, group announcement logic, allows quantification over announcements made by agents. In GAL, it is possible to reason about what groups can achieve by making such announcements. It seems intuitive that this notion of coalitional ability should be closely related to the notion of distributed knowledge, the implicit (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  8
    A Modal Logic for Supervised Learning.Alexandru Baltag, Dazhu Li & Mina Young Pedersen - 2022 - Journal of Logic, Language and Information 31 (2):213-234.
    Formal learning theory formalizes the process of inferring a general result from examples, as in the case of inferring grammars from sentences when learning a language. In this work, we develop a general framework—the supervised learning game—to investigate the interaction between Teacher and Learner. In particular, our proposal highlights several interesting features of the agents: on the one hand, Learner may make mistakes in the learning process, and she may also ignore the potential relation between different hypotheses; on the other (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  4
    Logic and Interaction: Foreword to the Special Issue.Patrick Blackburn & Emiliano Lorini - 2022 - Journal of Logic, Language and Information 31 (2):137-139.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  1
    A Logic for Conditional Local Strategic Reasoning.Valentin Goranko & Fengkui Ju - 2022 - Journal of Logic, Language and Information 31 (2):167-188.
    We consider systems of rational agents who act and interact in pursuit of their individual and collective objectives. We study and formalise the reasoning of an agent, or of an external observer, about the expected choices of action of the other agents based on their objectives, in order to assess the reasoner’s ability, or expectation, to achieve their own objective. To formalize such reasoning we extend Pauly’s Coalition Logic with three new modal operators of conditional strategic reasoning, thus introducing the (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  5.  2
    Who Should Be My Friends? Social Balance from the Perspective of Game Theory.Wiebe van der Hoek, Louwe B. Kuijer & Yì N. Wáng - 2022 - Journal of Logic, Language and Information 31 (2):189-211.
    We define balance games, which describe the formation of friendships and enmity in social networks. We show that if the agents give high priority to future profits over short term gains, all Pareto optimal strategies will eventually result in a balanced network. If, on the other hand, agents prioritize short term gains over the long term, every Nash equilibrium eventually results in a network that is stable but that might not be balanced.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  3
    Model Theoretical Aspects of Weakly Aggregative Modal Logic.Jixin Liu, Yifeng Ding & Yanjing Wang - 2022 - Journal of Logic, Language and Information 31 (2):261-286.
    Weakly Aggregative Modal Logic ) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. \ has interesting applications on epistemic logic, deontic logic, and the logic of belief. In this paper, we study some basic model theoretical aspects of \. Specifically, we first give a van Benthem–Rosen characterization theorem of \ based on an intuitive notion of bisimulation. Then, in contrast to many well known normal or non-normal modal logics, we show that (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  4
    Non-strict Interventionism: The Case Of Right-Nested Counterfactuals.Katrin Schulz, Sonja Smets, Fernando R. Velázquez-Quesada & Kaibo Xie - 2022 - Journal of Logic, Language and Information 31 (2):235-260.
    The paper focuses on a recent challenge brought forward against the interventionist approach to the meaning of counterfactual conditionals. According to this objection, interventionism cannot account for the interpretation of right-nested counterfactuals, the problem being its strict interventionism. We will report on the results of an empirical study supporting the objection. Furthermore, we will extend the well-known logic of intervention with a new operator expressing an alternative notion of intervention that does away with strict interventionism. This new notion of intervention (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  5
    Relational Syllogisms with Numerical Quantifiers and Beyond.Ka-fat Chow - 2022 - Journal of Logic, Language and Information 31 (1):1-34.
    In the first half of this paper, we present a fragment of relational syllogisms named RELSYLL consisting of quantified statements with a special set of numerical quantifiers, and introduce a number of concepts that are useful for the later sections, including indirect reduction, quantifier transformations and equivalence of syllogisms. After determining the valid and invalid syllogisms in RELSYLL, we then introduce two Derivation Methods which can be used to derive valid relational syllogisms based on known valid simple syllogisms. We also (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  7
    Copies from "Standard Set Theory"? A Note on the Foundations of Minimalist Syntax in Reaction to Chomsky, Gallego and Ott.Hans-Martin Gärtner - 2022 - Journal of Logic, Language and Information 31 (1):129-135.
    Appeal to standard set theory in minimalist syntax is shown to be in conflict with the goal of analyzing dependency formation, a.k.a. movement, as involving genuine constituent copies. The underlying tension is due to extensionality, which—other things being equal—favors a perspective on dependencies in terms of multidominance. The above argument is developed against the backdrop of a recent exposition of minimalist syntax :229–261, 2019), which can be seen as exemplary. The resulting critical assessment should be taken as removing obstacles on (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  3
    Logical Foundations for Hybrid Type-Logical Grammars.Richard Moot & Symon Jory Stevens-Guille - 2022 - Journal of Logic, Language and Information 31 (1):35-76.
    This paper explores proof-theoretic aspects of hybrid type-logical grammars, a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus, such as normalisation and the subformula property and also present both a sequent and a proof net calculus for hybrid type-logical grammars. In addition to clarifying the logical foundations of hybrid type-logical grammars, the current study opens the way to variants and extensions of the original system, including but not limited to a non-associative version and (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  6
    Nonmonotonic Reasoning, Expectations Orderings, and Conceptual Spaces.Matías Osta-Vélez & Peter Gärdenfors - 2022 - Journal of Logic, Language and Information 31 (1):77-97.
    In Gärdenfors and Makinson :197–245, 1994) and Gärdenfors it was shown that it is possible to model nonmonotonic inference using a classical consequence relation plus an expectation-based ordering of formulas. In this article, we argue that this framework can be significantly enriched by adopting a conceptual spaces-based analysis of the role of expectations in reasoning. In particular, we show that this can solve various epistemological issues that surround nonmonotonic and default logics. We propose some formal criteria for constructing and updating (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  3
    Ambiguity Advantage Under Meaning Activation.Liping Tang - 2022 - Journal of Logic, Language and Information 31 (1):99-112.
    Traditional explanations for the presence of ambiguous words in natural language have focused on the cost of added complexity that would accompany unambiguous languages. In these theories, ambiguity arises because it represents the optimal trade-off between the informational benefits from precision and the costs for rich languages. In this paper, we suggest that ambiguity remains an inevitable feature of learning languages even without complexity costs. We show that ambiguous words occur more frequently and will therefore be learned more readily, thus (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  2
    Anaphoric Conservativity.R. Zuber - 2022 - Journal of Logic, Language and Information 31 (1):113-128.
    The notion of anaphoric conservativity, that is a property of specific functions taking sets and binary relations as arguments is studied. Such functions are denotations of anaphoric determiners forming nominal anaphors. It is shown that anaphoric conservativity is strictly stronger that ordinary conservativity of this type of functions. In consequence some novel semantic descriptions of reflexive and reciprocal pronouns are provided and a semantic universal stating that reflexive and reciprocal non-possessive determiners denote anaphorically conservative functions is proposed.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues