default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica - An International Journal for Symbolic Logic, Volume 104
Volume 104, Number 1, February 2016
- Lev D. Beklemishev
, Tommaso Flaminio:
Franco Montagna's Work on Provability Logic and Many-valued Logic. 1-46 - Peter Verdée, Diderik Batens:
Nice Embedding in Classical Logic. 47-78 - Paolo Maffezioli:
Analytic Rules for Mereology. 79-114 - Revaz Grigolia, Tatiana Kiseliova, Vladimer Odisharia:
Free and Projective Bimodal Symmetric Gödel Algebras. 115-143 - Thomas Macaulay Ferguson:
Correia Semantics Revisited. 145-173 - Kevin C. Klement:
Book Review: Gottlob Frege, Basic Laws of Arithmetic. 175-180 - John Stillwell:
Book Review: A Mathematical Prelude to the Philosophy of Mathematics. 181-183
Volume 104, Number 2, April 2016
- Marta Sagastume, Hernán Javier San Martín:
A Categorical Equivalence Motivated by Kalman's Construction. 185-208 - Joanna Golinska-Pilarek:
On the Minimal Non-Fregean Grzegorczyk Logic. 209-234 - Tomasz Polacik:
A Semantic Approach to Conservativity. 235-248 - Adrian Soncodi:
Automorphisms of the Lattice of Classical Modal Logics. 249-276 - R. Gregory Taylor:
A Theory of Infinitary Relations Extending Zermelo's Theory of Infinitary Propositions. 277-304 - Jennifer Hyndman, James B. Nation, Joy Nishida:
Congruence Lattices of Semilattices with Operators. 305-316 - Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze:
Admissible Bases Via Stable Canonical Rules. 317-341 - Bruno Teheux:
Modal Definability Based on Łukasiewicz Validity Relations. 343-363 - Lloyd Humberstone:
James W. Garson, Modal Logic for Philosophers. Second Edition, Cambridge University Press, Cambridge, 2013, pp. 506. ISBN: 978-1107609525 (paperback) $44.99. 365-379
Volume 104, Number 3, June 2016
- James G. Raftery, Kazimierz Swirydowicz:
Structural Completeness in Relevance Logics. 381-387 - Adam Prenosil:
Reductio ad contradictionem: An Algebraic Perspective. 389-415 - Juan Manuel Cornejo, Hanamantagouda P. Sankappanavar:
Order in Implication Zroupoids. 417-453 - Christopher Hampson, Stanislav Kikot, Ágnes Kurucz:
The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines. 455-486 - Philip Kremer:
Matching Topological and Frame Products of Modal Logics. 487-502 - Stefan Wintein:
On All Strong Kleene Generalizations of Classical Logic. 503-545 - Ramon Jansana:
On the Deductive System of the Order of an Equationally Orderable Quasivariety. 547-566 - Leonardo Manuel Cabrer, Hilary A. Priestley:
Natural Dualities Through Product Representations: Bilattices and Beyond. 567-592
Volume 104, Number 4, August 2016
- Nils Bulling, Wiebe van der Hoek:
Special Issue on Logical Aspects of Multi-Agent Systems. 593-595 - Thomas Ågotnes, Hans van Ditmarsch, Timothy Noel French:
The Undecidability of Quantified Announcements. 597-640 - Bozena Wozna-Szczesniak, Andrzej Zbrzezny:
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking. 641-678 - Taolue Chen, Giuseppe Primiero, Franco Raimondi, Neha Rungta:
A Computationally Grounded, Weighted Doxastic Logic. 679-703 - Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos:
Progression and Verification of Situation Calculus Agents with Bounded Beliefs. 705-739 - Vaishak Belle, Hector J. Levesque:
A Logical Theory of Localization. 741-772 - Emiliano Lorini, Giovanni Sartor:
A STIT Logic for Reasoning About Social Influence. 773-812 - Paul Harrenstein, Paolo Turrini, Michael J. Wooldridge:
Hard and Soft Preparation Sets in Boolean Games. 813-847
Volume 104, Number 5, October 2016
- Antoni Torrens:
Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices. 849-867 - Christian Straßer, Mathieu Beirlaen, Frederik Van De Putte:
Adaptive Logic Characterizations of Input/Output Logic. 869-916 - Mitio Takano:
Gentzenization of Trilattice Logics. 917-929 - Aldo Figallo Orellano:
A Preliminary Study of MV-Algebras with Two Quantifiers Which Commute. 931-956 - Pawel Urzyczyn:
Intuitionistic Games: Determinacy, Completeness, and Normalization. 957-1001 - Francesca Poggiolesi:
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics. 1003-1036 - Guillermo Badia:
Bi-Simulating in Bi-Intuitionistic Logic. 1037-1050 - Michael Kaminski, Nissim Francez:
The Lambek Calculus Extended with Intuitionistic Propositional Logic. 1051-1082
Volume 104, Number 6, December 2016
- Nikolay Bazhenov:
Categoricity Spectra for Polymodal Algebras. 1083-1097 - Benjamin Eva:
Modality and Contextuality in Topos Quantum Theory. 1099-1118 - Johannes Marti, Riccardo Pinosio:
A Game Semantics for System P. 1119-1144 - Roberto Giuntini, Antonio Ledda, Francesco Paoli:
A New View of Effects in a Hilbert Space. 1145-1177 - Adam Prenosil:
Constructing Natural Extensions of Propositional Logics. 1179-1190 - Jeroen P. Goudsmit:
Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility. 1191-1204 - Koji Nakazawa, Ken-etsu Fujita:
Compositional Z: Confluence Proofs for Permutative Conversion. 1205-1224 - Joost J. Joosten:
Turing-Taylor Expansions for Arithmetic Theories. 1225-1243 - Diego Nicolás Castaño, Juan Manuel Cornejo:
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic. 1245-1265 - Takuro Onishi:
Understanding Negation Implicationally in the Relevant Logic R. 1267-1285 - Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin:
Cofinal Stable Logics. 1287-1317 - Sara L. Uckelman:
Book Review: Jean Buridan, Treatise on Consequences. 1319-1323
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
