36 found

Year:

Forthcoming articles
  1. A. M. Suardiaz A. Quantifier (forthcoming). M. Abad Varieties of Three-Valued. Studia Logica.
     
    Export citation  
     
    My bibliography  
  2. H. Arlo-Costa (forthcoming). 'First-Order Modal Logic', to Appear in V. Hendricks & SA Pedersen, Eds.,'40 Years of Possible Worlds', Special Issue Of. Studia Logica.
  3. Vaishak Belle & Hector J. Levesque (forthcoming). A Logical Theory of Localization. Studia Logica:1-32.
    A central problem in applying logical knowledge representation formalisms to traditional robotics is that the treatment of belief change is categorical in the former, while probabilistic in the latter. A typical example is the fundamental capability of localization where a robot uses its noisy sensors to situate itself in a dynamic world. Domain designers are then left with the rather unfortunate task of abstracting probabilistic sensors in terms of categorical ones, or more drastically, completely abandoning the inner workings of sensors (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi & Mamuka Jibladze (forthcoming). Admissible Bases Via Stable Canonical Rules. Studia Logica:1-25.
    We establish the dichotomy property for stable canonical multi-conclusion rules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. D. Busneag & M. Ghita (forthcoming). Some Properties of Epimorphisms of Implicative Algebras. Studia Logica.
     
    Export citation  
     
    My bibliography  
  6. L. M. Cabrer & H. A. Priestley (forthcoming). Natural Dualities Through Product Representations: Bilattices and Beyond. Studia Logica:1-26.
    This paper focuses on natural dualities for varieties of bilattice-based algebras. Such varieties have been widely studied as semantic models in situations where information is incomplete or inconsistent. The most popular tool for studying bilattices-based algebras is product representation. The authors recently set up a widely applicable algebraic framework which enabled product representations over a base variety to be derived in a uniform and categorical manner. By combining this methodology with that of natural duality theory, we demonstrate how to build (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. A. V. Chagrov & M. V. Zakharyaschev (forthcoming). Modal Companions of Intermediate Logics: A Survey. Studia Logica.
     
    Export citation  
     
    My bibliography  
  8.  11
    Taolue Chen, Giuseppe Primiero, Franco Raimondi & Neha Rungta (forthcoming). A Computationally Grounded, Weighted Doxastic Logic. Studia Logica:1-25.
    Modelling, reasoning and verifying complex situations involving a system of agents is crucial in all phases of the development of a number of safety-critical systems. In particular, it is of fundamental importance to have tools and techniques to reason about the doxastic and epistemic states of agents, to make sure that the agents behave as intended. In this paper we introduce a computationally grounded logic called COGWED and we present two types of semantics that support a range of practical situations. (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Frank Wolter First Order Common (forthcoming). Knowledge Logics. Studia Logica.
     
    Export citation  
     
    My bibliography  
  10. Juan M. Cornejo & Hanamantagouda P. Sankappanavar (forthcoming). Order in Implication Zroupoids. Studia Logica:1-37.
    The variety \ of implication zroupoids and a constant 0) was defined and investigated by Sankappanavar :21–50, 2012), as a generalization of De Morgan algebras. Also, in Sankappanavar :21–50, 2012), several subvarieties of \ were introduced, including the subvariety \, defined by the identity: \, which plays a crucial role in this paper. Some more new subvarieties of \ are studied in Cornejo and Sankappanavar that includes the subvariety \ of semilattices with a least element 0. An explicit description of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi & Stavros Vassos (forthcoming). Progression and Verification of Situation Calculus Agents with Bounded Beliefs. Studia Logica:1-35.
    We investigate agents that have incomplete information and make decisions based on their beliefs expressed as situation calculus bounded action theories. Such theories have an infinite object domain, but the number of objects that belong to fluents at each time point is bounded by a given constant. Recently, it has been shown that verifying temporal properties over such theories is decidable. We take a first-person view and use the theory to capture what the agent believes about the domain of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. D. Gabbay & F. Pirri (forthcoming). Special Issue on Combining Logics, Volume 59 (1, 2) Of. Studia Logica.
     
    Export citation  
     
    My bibliography   1 citation  
  13.  3
    Joanna Golińska-Pilarek (forthcoming). On the Minimal Non-Fregean Grzegorczyk Logic. Studia Logica:1-26.
    The paper concerns Grzegorczyk’s non-Fregean logics that are intended to be a formal representation of the equimeaning relation defined on descriptions. We argue that the main Grzegorczyk logics discussed in the literature are too strong and we propose a new logical system, \, which satisfies Grzegorczyk’s fundamental requirements. We present a sound and complete semantics for \ and we prove that it is decidable. Finally, we show that many non-classical logics are extensions of \, which makes it a generic non-Fregean (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  16
    Dov Guido Boella, Leendert der Torre M. Gabbavany & Serena Villata (forthcoming). Meta-Argumentation Modelling I: Methodology and Techniques. Studia Logica.
    In this paper, we introduce the methodology and techniques of meta-argumentation to model argumentation. The methodology of meta-argumentation instantiates Dung’s abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung’s basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung’s theory of abstract argumentation to itself, by instantiating Dung’s abstract arguments with meta-arguments using a technique called flattening. (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  15.  2
    Paul Harrenstein, Paolo Turrini & Michael Wooldridge (forthcoming). Hard and Soft Preparation Sets in Boolean Games. Studia Logica:1-35.
    A fundamental problem in game theory is the possibility of reaching equilibrium outcomes with undesirable properties, e.g., inefficiency. The economics literature abounds with models that attempt to modify games in order to avoid such undesirable properties, for example through the use of subsidies and taxation, or by allowing players to undergo a bargaining phase before their decision. In this paper, we consider the effect of such transformations in Boolean games with costs, where players control propositional variables that they can set (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  11
    Simon M. Huttegger & Brian Skyrms (forthcoming). Learning to Transfer Information. Studia Logica.
  17. Jennifer Hyndman, J. B. Nation & Joy Nishida (forthcoming). Congruence Lattices of Semilattices with Operators. Studia Logica:1-12.
    The duality between congruence lattices of semilattices, and algebraic subsets of an algebraic lattice, is extended to include semilattices with operators. For a set G of operators on a semilattice S, we have \ \cong^{d} {{\rm S}_{p}}}\), where L is the ideal lattice of S, and H is a corresponding set of adjoint maps on L. This duality is used to find some representations of lattices as congruence lattices of semilattices with operators. It is also shown that these congruence lattices (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. Thomas Icard (forthcoming). Exclusion and Containment in Natural Language. Studia Logica.
     
    Export citation  
     
    My bibliography  
  19. Ramon Jansana (forthcoming). On the Deductive System of the Order of an Equationally Orderable Quasivariety. Studia Logica:1-20.
    We consider the equationally orderable quasivarieties and associate with them deductive systems defined using the order. The method of definition of these deductive systems encompasses the definition of logics preserving degrees of truth we find in the research areas of substructural logics and mathematical fuzzy logic. We prove several general results, for example that the deductive systems so defined are finitary and that the ones associated with equationally orderable varieties are congruential.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. Jarmo Kontinen (forthcoming). Coherence and Complexity of Quantifier-Free Dependence Logic Formulas. Studia Logica.
     
    Export citation  
     
    My bibliography  
  21.  19
    Philip Kremer (forthcoming). Matching Topological and Frame Products of Modal Logics. Studia Logica:1-16.
    The simplest combination of unimodal logics \ into a bimodal logic is their fusion, \, axiomatized by the theorems of \. Shehtman introduced combinations that are not only bimodal, but two-dimensional: he defined 2-d Cartesian products of 1-d Kripke frames, using these Cartesian products to define the frame product \. Van Benthem, Bezhanishvili, ten Cate and Sarenac generalized Shehtman’s idea and introduced the topological product \, using Cartesian products of topological spaces rather than of Kripke frames. Frame products have been (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  22. AgneS Kurucz & Arrow Logic (forthcoming). Infinite Counting. Studia Logica.
     
    Export citation  
     
    My bibliography   1 citation  
  23.  1
    Emiliano Lorini & Giovanni Sartor (forthcoming). A STIT Logic for Reasoning About Social Influence. Studia Logica:1-40.
    In this paper we propose a method for modeling social influence within the STIT approach to action. Our proposal consists in extending the STIT language with special operators that allow us to represent the consequences of an agent’s choices over the rational choices of another agent.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24. Arthur Paul Pedersen (forthcoming). An Extension Theorem and a Numerical Representation Theorem for Qualitative Comparative Expectations. Studia Logica.
     
    Export citation  
     
    My bibliography  
  25. Dana Piciu & A. Jeflea (forthcoming). Localization of MTL-Algebras. Studia Logica.
    Direct download  
     
    Export citation  
     
    My bibliography  
  26. Tomasz Połacik (forthcoming). A Semantic Approach to Conservativity. Studia Logica:1-14.
    The aim of this paper is to describe from a semantic perspective the problem of conservativity of classical first-order theories over their intuitionistic counterparts. In particular, we describe a class of formulae for which such conservativity results can be proven in case of any intuitionistic theory T which is complete with respect to a class of T-normal Kripke models. We also prove conservativity results for intuitionistic theories which are closed under the Friedman translation and complete with respect to a class (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  1
    Adam Přenosil (forthcoming). Reductio Ad Contradictionem: An Algebraic Perspective. Studia Logica:1-27.
    We introduce a novel expansion of the four-valued Belnap–Dunn logic by a unary operator representing reductio ad contradictionem and study its algebraic semantics. This expansion thus contains both the direct, non-inferential negation of the Belnap–Dunn logic and an inferential negation akin to the negation of Johansson’s minimal logic. We formulate a sequent calculus for this logic and introduce the variety of reductio algebras as an algebraic semantics for this calculus. We then investigate some basic algebraic properties of this variety, in (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  3
    J. G. Raftery & K. Świrydowicz (forthcoming). Structural Completeness in Relevance Logics. Studia Logica:1-7.
    It is proved that the relevance logic \ has no structurally complete consistent axiomatic extension, except for classical propositional logic. In fact, no other such extension is even passively structurally complete.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. Marta S. Sagastume & Hernán J. San Martín (forthcoming). A Categorical Equivalence Motivated by Kalman’s Construction. Studia Logica:1-24.
    An equivalence between the category of MV-algebras and the category \ is given in Castiglioni et al. :67–92, 2014). An integral residuated lattice with bottom is an MV-algebra if and only if it satisfies the equations \ \vee = 1}\) and \ = a \wedge b}\). An object of \ is a residuated lattice which in particular satisfies some equations which correspond to the previous equations. In this paper we extend the equivalence to the category whose objects are pairs, where (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. F. Sebastiani (forthcoming). A Fully Model-Theoretic Semantics for Model-Preference Default Systems', Istituto di Elaborazione dell'Informazione, Pisa. Studia Logica.
     
    Export citation  
     
    My bibliography  
  31.  1
    Adrian Soncodi (forthcoming). Automorphisms of the Lattice of Classical Modal Logics. Studia Logica:1-28.
    In this paper we analyze the propositional extensions of the minimal classical modal logic system E, which form a lattice denoted as CExtE. Our method of analysis uses algebraic calculations with canonical forms, which are a generalization of the normal forms applicable to normal modal logics. As an application, we identify a group of automorphisms of CExtE that is isomorphic to the symmetric group S4.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. L. Tatjana & I. Boris (forthcoming). In Databases* T. Studia Logica.
     
    Export citation  
     
    My bibliography  
  33. Bruno Teheux (forthcoming). Modal Definability Based on Łukasiewicz Validity Relations. Studia Logica:1-21.
    We study two notions of definability for classes of relational structures based on modal extensions of Łukasiewicz finitely-valued logics. The main results of the paper are the equivalent of the Goldblatt-Thomason theorem for these notions of definability.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Y. Venema (forthcoming). Meeting Strength in Substructural Logics'. UU Logic Preprint. Studia Logica.
     
    Export citation  
     
    My bibliography  
  35.  4
    Stefan Wintein (forthcoming). On All Strong Kleene Generalizations of Classical Logic. Studia Logica:1-43.
    By using the notions of exact truth and exact falsity, one can give 16 distinct definitions of classical consequence. This paper studies the class of relations that results from these definitions in settings that are paracomplete, paraconsistent or both and that are governed by the Strong Kleene schema. Besides familiar logics such as Strong Kleene logic, the Logic of Paradox and First Degree Entailment, the resulting class of all Strong Kleene generalizations of classical logic also contains a host (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. Bożena Woźna-Szcześniak & Andrzej Zbrzezny (forthcoming). Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking. Studia Logica:1-38.
    We investigate a SAT-based bounded model checking method for EMTLK that is interpreted over timed models generated by timed interpreted systems. In particular, we translate the existential model checking problem for EMTLK to the existential model checking problem for a variant of linear temporal logic, and we provide a SAT-based BMC technique for HLTLK. We evaluated the performance of our BMC by means of a variant of a timed generic pipeline paradigm scenario and a timed train controller system.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues