41 found

Year:

Forthcoming articles
  1.  16
    Guillermo Badia (forthcoming). Bi-Simulating in Bi-Intuitionistic Logic. Studia Logica:1-14.
    Bi-intuitionistic logic is the result of adding the dual of intuitionistic implication to intuitionistic logic. In this note, we characterize the expressive power of this logic by showing that the first order formulas equivalent to translations of bi-intuitionistic propositional formulas are exactly those preserved under bi-intuitionistic directed bisimulations. The proof technique is originally due to Lindstrom and, in contrast to the most common proofs of this kind of result, it does not use the machinery of neither saturated models nor (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  4
    Francesca Poggiolesi (forthcoming). Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics. Studia Logica:1-34.
    In this paper we present labelled sequent calculi and labelled natural deduction calculi for the counterfactual logics CK + {ID, MP}. As for the sequent calculi we prove, in a semantic manner, that the cut-rule is admissible. As for the natural deduction calculi we prove, in a purely syntactic way, the normalization theorem. Finally, we demonstrate that both calculi are sound and complete with respect to Nute semantics [12] and that the natural deduction calculi can be effectively transformed into the (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  1
    Aldo Figallo Orellano (forthcoming). A Preliminary Study of MV-Algebras with Two Quantifiers Which Commute. Studia Logica:1-26.
    In this paper we investigate the class of MV-algebras equipped with two quantifiers which commute as a natural generalization of diagonal-free two-dimensional cylindric algebras. In the 40s, Tarski first introduced cylindric algebras in order to provide an algebraic apparatus for the study of classical predicate calculus. The diagonal–free two-dimensional cylindric algebras are special cylindric algebras. The treatment here of MV-algebras is done in terms of implication and negation. This allows us to simplify some results due to Di Nola and Grigolia (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. A. M. Suardiaz A. Quantifier (forthcoming). M. Abad Varieties of Three-Valued. Studia Logica.
     
    Export citation  
     
    My bibliography  
  5.  3
    T. Ågotnes, H. Van Ditmarsch & T. French (forthcoming). The Undecidability of Quantified Announcements. Studia Logica:1-44.
    This paper demonstrates the undecidability of a number of logics with quantification over public announcements: arbitrary public announcement logic, group announcement logic, and coalition announcement logic. In APAL we consider the informative consequences of any announcement, in GAL we consider the informative consequences of a group of agents all of which are simultaneously making known announcements. So this is more restrictive than APAL. Finally, CAL is as GAL except that we now quantify over anything the agents not in that group (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. 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.
  7.  1
    Nikolay Bazhenov (forthcoming). Categoricity Spectra for Polymodal Algebras. Studia Logica:1-15.
    We investigate effective categoricity for polymodal algebras. We prove that the class of polymodal algebras is complete with respect to degree spectra of nontrivial structures, effective dimensions, expansion by constants, and degree spectra of relations. In particular, this implies that every categoricity spectrum is the categoricity spectrum of a polymodal algebra.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. 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  
  9. Nils Bulling & Wiebe Hoek (forthcoming). Special Issue on Logical Aspects of Multi-Agent Systems. Studia Logica:1-3.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  1
    Nils Bulling & Wiebe van der Hoek (forthcoming). Special Issue on Logical Aspects of Multi-Agent Systems. Studia Logica:1-3.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. D. Busneag & M. Ghita (forthcoming). Some Properties of Epimorphisms of Implicative Algebras. Studia Logica.
     
    Export citation  
     
    My bibliography  
  12. A. V. Chagrov & M. V. Zakharyaschev (forthcoming). Modal Companions of Intermediate Logics: A Survey. Studia Logica.
     
    Export citation  
     
    My bibliography  
  13.  23
    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  
  14. Frank Wolter First Order Common (forthcoming). Knowledge Logics. Studia Logica.
     
    Export citation  
     
    My bibliography  
  15. 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 interest (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  3
    Benjamin Eva (forthcoming). Modality and Contextuality in Topos Quantum Theory. Studia Logica:1-20.
    Topos quantum theory represents a whole new approach to the formalization of non-relativistic quantum theory. It is well known that TQT replaces the orthomodular quantum logic of the traditional Hilbert space formalism with a new intuitionistic logic that arises naturally from the topos theoretic structure of the theory. However, it is less well known that TQT also has a dual logical structure that is paraconsistent. In this paper, we investigate the relationship between these two logical structures and study the implications (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. D. Gabbay & F. Pirri (forthcoming). Special Issue on Combining Logics, Volume 59 (1, 2) Of. Studia Logica.
     
    Export citation  
     
    My bibliography   1 citation  
  18. Roberto Giuntini, Antonio Ledda & Francesco Paoli (forthcoming). A New View of Effects in a Hilbert Space. Studia Logica:1-33.
    We investigate certain Brouwer-Zadeh lattices that serve as abstract counterparts of lattices of effects in Hilbert spaces under the spectral ordering. These algebras, called PBZ*-lattices, can also be seen as generalisations of orthomodular lattices and are remarkable for the collapse of three notions of “sharpness” that are distinct in general Brouwer-Zadeh lattices. We investigate the structure theory of PBZ*-lattices and their reducts; in particular, we prove some embedding results for PBZ*-lattices and provide an initial description of the lattice of PBZ*-varieties.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. Jeroen P. Goudsmit (forthcoming). Finite Frames Fail: How Infinity Works Its Way Into the Semantics of Admissibility. Studia Logica:1-14.
    Many intermediate logics, even extremely well-behaved ones such as IPC, lack the finite model property for admissible rules. We give conditions under which this failure holds. We show that frames which validate all admissible rules necessarily satisfy a certain closure condition, and we prove that this condition, in the finite case, ensures that the frame is of width 2. Finally, we indicate how this result is related to some classical results on finite, free Heyting algebras.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  19
    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  
  21.  3
    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  
  22.  14
    Simon M. Huttegger & Brian Skyrms (forthcoming). Learning to Transfer Information. Studia Logica.
  23. Thomas Icard (forthcoming). Exclusion and Containment in Natural Language. Studia Logica.
     
    Export citation  
     
    My bibliography  
  24.  1
    Joost J. Joosten (forthcoming). Turing–Taylor Expansions for Arithmetic Theories. Studia Logica:1-19.
    Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories: iterate adding consistency of some weak base theory until you “hit” the target theory. Turing progressions based on n-consistency give rise to a \ proof-theoretic ordinal \ also denoted \. As such, to each theory U we can assign the sequence of corresponding \ ordinals \. We call this sequence a Turing-Taylor expansion or spectrum of a theory. In this paper, we relate Turing-Taylor expansions of sub-theories (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25.  2
    Michael Kaminski & Nissim Francez (forthcoming). The Lambek Calculus Extended with Intuitionistic Propositional Logic. Studia Logica:1-32.
    We present sound and complete semantics and a sequent calculus for the Lambek calculus extended with intuitionistic propositional logic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. Jarmo Kontinen (forthcoming). Coherence and Complexity of Quantifier-Free Dependence Logic Formulas. Studia Logica.
     
    Export citation  
     
    My bibliography  
  27. AgneS Kurucz & Arrow Logic (forthcoming). Infinite Counting. Studia Logica.
     
    Export citation  
     
    My bibliography   1 citation  
  28.  2
    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  
  29.  2
    J. Marti & R. Pinosio (forthcoming). A Game Semantics for System P. Studia Logica:1-26.
    In this paper we introduce a game semantics for System P, one of the most studied axiomatic systems for non-monotonic reasoning, conditional logic and belief revision. We prove soundness and completeness of the game semantics with respect to the rules of System P, and show that an inference is valid with respect to the game semantics if and only if it is valid with respect to the standard order semantics of System P. Combining these two results leads to a new (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. Koji Nakazawa & Ken-Etsu Fujita (forthcoming). Compositional Z: Confluence Proofs for Permutative Conversion. Studia Logica:1-20.
    This paper gives new confluence proofs for several lambda calculi with permutation-like reduction, including lambda calculi corresponding to intuitionistic and classical natural deduction with disjunction and permutative conversions, and a lambda calculus with explicit substitutions. For lambda calculi with permutative conversion, naïve parallel reduction technique does not work, and traditional notion of residuals is required as Ando pointed out. This paper shows that the difficulties can be avoided by extending the technique proposed by Dehornoy (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31. Arthur Paul Pedersen (forthcoming). An Extension Theorem and a Numerical Representation Theorem for Qualitative Comparative Expectations. Studia Logica.
     
    Export citation  
     
    My bibliography  
  32. Dana Piciu & A. Jeflea (forthcoming). Localization of MTL-Algebras. Studia Logica.
    Direct download  
     
    Export citation  
     
    My bibliography  
  33. Adam Přenosil (forthcoming). Constructing Natural Extensions of Propositional Logics. Studia Logica:1-12.
    The proofs of some results of abstract algebraic logic, in particular of the transfer principle of Czelakowski, assume the existence of so-called natural extensions of a logic by a set of new variables. Various constructions of natural extensions, claimed to be equivalent, may be found in the literature. In particular, these include a syntactic construction due to Shoesmith and Smiley and a related construction due to Łoś and Suszko. However, it was recently observed by Cintula and Noguera that both of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. 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  
  35.  3
    Christian Straßer, Mathieu Beirlaen & Frederik Van De Putte (forthcoming). Adaptive Logic Characterizations of Input/Output Logic. Studia Logica:1-48.
    We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-theoretic characterization of input/output logics. Second, we demonstrate that our framework naturally gives rise to useful variants and allows to express important notions that go beyond the expressive means of input/output logics, such as violations and sanctions.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  1
    Mitio Takano (forthcoming). Gentzenization of Trilattice Logics. Studia Logica:1-13.
    Sequent calculi for trilattice logics, including those that are determined by the truth entailment, the falsity entailment and their intersection, are given. This partly answers the problems in Shramko-Wansing.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. L. Tatjana & I. Boris (forthcoming). In Databases* T. Studia Logica.
     
    Export citation  
     
    My bibliography  
  38. Antoni Torrens (forthcoming). Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices. Studia Logica:1-19.
    In any variety of bounded integral residuated lattice-ordered commutative monoids the class of its semisimple members is closed under isomorphic images, subalgebras and products, but it is not closed under homomorphic images, and so it is not a variety. In this paper we study varieties of bounded residuated lattices whose semisimple members form a variety, and we give an equational presentation for them. We also study locally representable varieties whose semisimple members form a variety. Finally, we analyze the relationship with (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  2
    Paweł Urzyczyn (forthcoming). Intuitionistic Games: Determinacy, Completeness, and Normalization. Studia Logica:1-45.
    We investigate a simple game paradigm for intuitionistic logic, inspired by Wajsberg’s implicit inhabitation algorithm and Beth tableaux. The principal idea is that one player, ∃ros, is trying to construct a proof in normal form while his opponent, ∀phrodite, attempts to build a counter-model. The determinacy of the game implies therefore both completeness and semantic cut-elimination.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Y. Venema (forthcoming). Meeting Strength in Substructural Logics'. UU Logic Preprint. Studia Logica.
     
    Export citation  
     
    My bibliography  
  41. 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