Year:

  1.  1
    AGM Contraction and Revision of Rules.Guido Boella, Gabriella Pigozzi & Leendert van der Torre - 2016 - Journal of Logic, Language and Information 25 (3-4):273-297.
    In this paper we study AGM contraction and revision of rules using input/output logical theories. We replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas, representing the rule based character of theories, and we replace the classical consequence operator Cn by an input/output logic. The results in this paper suggest that, in general, results from belief base dynamics can be transferred to rule base dynamics, but that a similar transfer of AGM theory change to (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  1
    Reflecting on Social Influence in Networks.Zoé Christoff, Jens Ulrik Hansen & Carlo Proietti - 2016 - Journal of Logic, Language and Information 25 (3-4):299-333.
    In many social contexts, social influence seems to be inescapable: the behavior of others influences us to modify ours, and vice-versa. However, social psychology is full of examples of phenomena where individuals experience a discrepancy between their public behavior and their private opinion. This raises two central questions. First, how does an individual reason about the behavior of others and their private opinions in situations of social influence? And second, what are the laws of the resulting information dynamics? In this (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  11
    The Evolution of Compositionality in Signaling Games.Michael Franke - 2016 - Journal of Logic, Language and Information 25 (3-4):355-377.
    Compositionality is a key design feature of human language: the meaning of complex expressions is, for the most part, systematically constructed from the meanings of its parts and their manner of composition. This paper demonstrates that rudimentary forms of compositional communicative behavior can emerge from a variant of reinforcement learning applied to signaling games. This helps explain how compositionality could have emerged gradually: if unsophisticated agents can evolve prevalent dispositions to communicate compositional-like, there is a direct evolutionary benefit for adaptations (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. Special Issue: Information Dynamics in Artificial Societies.Emiliano Lorini, Laurent Perrussel & Roland Mühlenbernd - 2016 - Journal of Logic, Language and Information 25 (3-4):269-271.
  5.  10
    Natural Deduction for Modal Logic of Judgment Aggregation.Tin Perkov - 2016 - Journal of Logic, Language and Information 25 (3-4):335-354.
    We can formalize judgments as logical formulas. Judgment aggregation deals with judgments of several agents, which need to be aggregated to a collective judgment. There are several logical formalizations of judgment aggregation. This paper focuses on a modal formalization which nicely expresses classical properties of judgment aggregation rules and famous results of social choice theory, like Arrow’s impossibility theorem. A natural deduction system for modal logic of judgment aggregation is presented in this paper. The system is sound and complete. As (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  6
    Compositional Signaling in a Complex World.Shane Steinert-Threlkeld - 2016 - Journal of Logic, Language and Information 25 (3-4):379-397.
    Natural languages are compositional in that the meaning of complex expressions depends on those of the parts and how they are put together. Here, I ask the following question: why are languages compositional? I answer this question by extending Lewis–Skyrms signaling games with a rudimentary form of compositional signaling and exploring simple reinforcement learning therein. As it turns out: in complex worlds, having compositional signaling helps simple agents learn to communicate. I am also able to show that learning the meaning (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  1
    Actions Arising From Intersection and Union.Alex Kruckman & Lawrence Valby - 2016 - Journal of Logic, Language and Information 25 (2):139-161.
    An action is a pair of sets, C and S, and a function \. Rothschild and Yalcin gave a simple axiomatic characterization of those actions arising from set intersection, i.e. for which the elements of C and S can be identified with sets in such a way that elements of S act on elements of C by intersection. We introduce and axiomatically characterize two natural classes of actions which arise from set intersection and union. In the first class, the \-actions, (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  2
    Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.José M. Méndez & Gemma Robles - 2016 - Journal of Logic, Language and Information 25 (2):163-189.
    Łukasiewicz presented two different analyses of modal notions by means of many-valued logics: the linearly ordered systems Ł3,..., Open image in new window,..., \; the 4-valued logic Ł he defined in the last years of his career. Unfortunately, all these systems contain “Łukasiewicz type paradoxes”. On the other hand, Brady’s 4-valued logic BN4 is the basic 4-valued bilattice logic. The aim of this paper is to show that BN4 can be strengthened with modal operators following Łukasiewicz’s strategy for defining truth-functional (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  1
    Some Properties of Iterated Languages.Shane Steinert-Threlkeld - 2016 - Journal of Logic, Language and Information 25 (2):191-213.
    A special kind of substitution on languages called iteration is presented and studied. These languages arise in the application of semantic automata to iterations of generalized quantifiers. We show that each of the star-free, regular, and deterministic context-free languages are closed under iteration and that it is decidable whether a given regular or determinstic context-free language is an iteration of two such languages. This result can be read as saying that the van Benthem/Keenan ‘Frege Boundary’ is decidable for large subclasses (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  5
    Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity.Bartosz Więckowski - 2016 - Journal of Logic, Language and Information 25 (2):215-268.
    A first-order language with a defined identity predicate is proposed whose apparatus for atomic predication is sensitive to grammatical categories of natural language. Subatomic natural deduction systems are defined for this naturalistic first-order language. These systems contain subatomic systems which govern the inferential relations which obtain between naturalistic atomic sentences and between their possibly composite components. As a main result it is shown that normal derivations in the defined systems enjoy the subexpression property which subsumes the subformula property with respect (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  2
    Blockage Revision.Sven Ove Hansson - 2016 - Journal of Logic, Language and Information 25 (1):37-50.
    Blockage revision is a version of descriptor revision, i.e. belief change in which a belief set K is changed with inputs whose success conditions are metalinguistic expressions containing the belief predicate \. This is a highly general framework that allows a single revision operator \ to take inputs corresponding to sentential revision ), contraction ) as well as more complex and composite operations. In blockage revision, such an operation is based on a relation \ of blockage among the set of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  7
    Erotetic Search Scenarios and Three-Valued Logic.Dorota Leszczyńska-Jasion & Paweł Łupkowski - 2016 - Journal of Logic, Language and Information 25 (1):51-76.
    Our aim is to model the behaviour of a cognitive agent trying to solve a complex problem by dividing it into sub-problems, but failing to solve some of these sub-problems. We use the powerful framework of erotetic search scenarios combined with Kleene’s strong three-valued logic. ESS, defined on the grounds of Inferential Erotetic Logic, has appeared to be a useful logical tool for modelling cognitive goal-directed processes. Using the logical tools of ESS and the three-valued logic, we will show how (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  12
    Transition Semantics for Branching Time.Antje Rumberg - 2016 - Journal of Logic, Language and Information 25 (1):77-108.
    In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open at a (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  9
    Locative and Directional Prepositions in Conceptual Spaces: The Role of Polar Convexity.Joost Zwarts & Peter Gärdenfors - 2016 - Journal of Logic, Language and Information 25 (1):109-138.
    We approach the semantics of prepositions from the perspective of conceptual spaces. Focusing on purely spatial locative and directional prepositions, we analyze both types of prepositions in terms of polar coordinates instead of Cartesian coordinates. This makes it possible to demonstrate that the property of convexity holds quite generally in the domain of prepositions of location and direction, supporting the important role that this property plays in conceptual spaces.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues