Year:

  1.  11
    On Relation Between Linear Temporal Logic and Quantum Finite Automata.Amandeep Singh Bhatia & Ajay Kumar - 2020 - Journal of Logic, Language and Information 29 (2):109-120.
    Linear temporal logic is a widely used method for verification of model checking and expressing the system specifications. The relationship between theory of automata and logic had a great influence in the computer science. Investigation of the relationship between quantum finite automata and linear temporal logic is a natural goal. In this paper, we present a construction of quantum finite automata on finite words from linear-time temporal logic formulas. Further, the relation between quantum finite automata and linear temporal logic is (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  9
    Truth Diagrams Versus Extant Notations for Propositional Logic.Peter C.-H. Cheng - 2020 - Journal of Logic, Language and Information 29 (2):121-161.
    Truth diagrams are introduced as a novel graphical representation for propositional logic. To demonstrate their epistemic efficacy a set of 28 concepts are proposed that any comprehensive representation for PL should encompass. TDs address all the criteria whereas seven other existing representations for PL only provide partial coverage. These existing representations are: the linear formula notation, truth tables, a PL specific interpretation of Venn Diagrams, Frege’s conceptual notation, diagrams from Wittgenstein’s Tractatus, Pierce’s alpha graphs and Gardner’s shuttle diagrams. The comparison (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  10
    A Revised Projectivity Calculus for Inclusion and Exclusion Reasoning.Ka-fat Chow - 2020 - Journal of Logic, Language and Information 29 (2):163-195.
    We present a Revised Projectivity Calculus that extends the scope of inclusion and exclusion inferences derivable under the Projectivity Calculus developed by Icard :705–725, 2012). After pointing out the inadequacies of C, we introduce four opposition properties which have been studied by Chow Proceedings of the 18th Amsterdam Colloquium, Springer, Berlin, 2012; Beziau, Georgiorgakis New dimensions of the square of opposition, Philosophia Verlag GmbH, München, 2017) and are more appropriate for the study of exclusion reasoning. Together with the monotonicity properties, (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  19
    Confused Terms in Ordinary Language.Greg Frost-Arnold & James R. Beebe - 2020 - Journal of Logic, Language and Information 29 (2):197-219.
    Confused terms appear to signify more than one entity. Carnap maintained that any putative name that is associated with more than one object in a relevant universe of discourse fails to be a genuine name. Although many philosophers have agreed with Carnap, they have not always agreed among themselves about the truth-values of atomic sentences containing such terms. Some hold that such atomic sentences are always false, and others claim they are always truth-valueless. Field maintained that confused terms can still (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  3
    Residual Contraction.Marco Garapa & Maurício D. L. Reis - 2020 - Journal of Logic, Language and Information 29 (2):255-274.
    In this paper, we propose and axiomatically characterize residual contractions, a new kind of contraction operators for belief bases. We establish that the class of partial meet contractions is a strict subclass of the class of residual contractions. We identify an extra condition that may be added to the definition of residual contractions, which is such that the class of residual contractions that satisfy it coincides with the class of partial meet contractions. We investigate the interrelations in the sense of (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  38
    Formal Semantics and Applied Mathematics: An Inferential Account.Ryan M. Nefdt - 2020 - Journal of Logic, Language and Information 29 (2):221-253.
    In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan : 345–374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying indirectly to linguistic (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  4
    Editorial Foreword.Natasha Alechina & Valentin Goranko - 2020 - Journal of Logic, Language and Information 29 (1):1-2.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  2
    Multi-Agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities.Dragan Doder, Nenad Savić & Zoran Ognjanović - 2020 - Journal of Logic, Language and Information 29 (1):77-107.
    We present a propositional and a first-order logic for reasoning about higher-order upper and lower probabilities. We provide sound and complete axiomatizations for the logics and we prove decidability in the propositional case. Furthermore, we show that the introduced logics generalize some existing probability logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities.Dragan Doder, Nenad Savić & Zoran Ognjanović - 2020 - Journal of Logic, Language and Information 29 (1):77-107.
    We present a propositional and a first-order logic for reasoning about higher-order upper and lower probabilities. We provide sound and complete axiomatizations for the logics and we prove decidability in the propositional case. Furthermore, we show that the introduced logics generalize some existing probability logics.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  8
    Group Conformity in Social Networks.Colby Morrison & Pavel Naumov - 2020 - Journal of Logic, Language and Information 29 (1):3-19.
    Diffusion in social networks is a result of agents’ natural desires to conform to the behavioral patterns of their peers. In this article we show that the recently proposed “propositional opinion diffusion model” could be used to model an agent’s conformity to different social groups that the same agent might belong to, rather than conformity to the society as whole. The main technical contribution of this article is a sound and complete logical system describing the properties of the influence relation (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  7
    A Closeness- and Priority-Based Logical Study of Social Network Creation.Sonja Smets & Fernando R. Velázquez-Quesada - 2020 - Journal of Logic, Language and Information 29 (1):21-51.
    This paper is part of an on-going programme on the study of the logical aspects of social network formation. It recalls the so-called social network model, discussing the properties of a notion of closeness between agents ; then introduces an extended social network model in which different agents might assign different values to different traits, discussing the properties of the notion of weighted closeness that arises. These notions are used to define social network creation operations by means of a threshold (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  7
    On the Logic of Balance in Social Networks.Zuojun Xiong & Thomas Ågotnes - 2020 - Journal of Logic, Language and Information 29 (1):53-75.
    Modal logics for reasoning about social networks is currently an active field of research. There is still a gap, however, between the state of the art in logical formalisations of concepts related to social networks and the much more mature field of social network analysis. In this paper we take a step to bridge that gap. One of the key foundations of social network analysis is balance theory, which is used to analyse signed social networks where agents can have positive (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues