Modality and Contextuality in Topos Quantum Theory Benjamin Eva OriginalPaper Open access 11 May 2016 Pages: 1099 - 1118
Categoricity Spectra for Polymodal Algebras Nikolay Bazhenov OriginalPaper 17 March 2016 Pages: 1083 - 1097
The Lambek Calculus Extended with Intuitionistic Propositional Logic Michael KaminskiNissim Francez OriginalPaper 12 March 2016 Pages: 1051 - 1082
James W. Garson, Modal Logic for Philosophers. Second Edition, Cambridge University Press, Cambridge, 2013, pp. 506. ISBN: 978-1107609525 (paperback) $44.99. Lloyd Humberstone Book Reviews 11 March 2016 Pages: 365 - 379
A Theory of Infinitary Relations Extending Zermelo’s Theory of Infinitary Propositions R. Gregory Taylor OriginalPaper Open access 07 March 2016 Pages: 277 - 304
Adaptive Logic Characterizations of Input/Output Logic Christian StraßerMathieu BeirlaenFrederik Van De Putte OriginalPaper 03 March 2016 Pages: 869 - 916
Bi-Simulating in Bi-Intuitionistic Logic Guillermo Badia OriginalPaper 27 February 2016 Pages: 1037 - 1050
A Preliminary Study of MV-Algebras with Two Quantifiers Which Commute Aldo Figallo Orellano ReviewPaper 27 February 2016 Pages: 931 - 956
Intuitionistic Games: Determinacy, Completeness, and Normalization Paweł Urzyczyn OriginalPaper 24 February 2016 Pages: 957 - 1001
The Undecidability of Quantified Announcements T. ÅgotnesH. van DitmarschT. French OriginalPaper 24 February 2016 Pages: 597 - 640
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics Francesca Poggiolesi OriginalPaper 23 February 2016 Pages: 1003 - 1036
Special Issue on Logical Aspects of Multi-Agent Systems Nils BullingWiebe van der Hoek BriefCommunication Open access 22 February 2016 Pages: 593 - 595
The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines C. HampsonS. KikotA. Kurucz OriginalPaper Open access 18 February 2016 Pages: 455 - 486
Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices Antoni Torrens OriginalPaper 18 February 2016 Pages: 849 - 867
On the Deductive System of the Order of an Equationally Orderable Quasivariety Ramon Jansana OriginalPaper 08 February 2016 Pages: 547 - 566
A Semantic Approach to Conservativity Tomasz Połacik ReviewPaper Open access 08 February 2016 Pages: 235 - 248
Natural Dualities Through Product Representations: Bilattices and Beyond L. M. CabrerH. A. Priestley OriginalPaper Open access 04 February 2016 Pages: 567 - 592
On All Strong Kleene Generalizations of Classical Logic Stefan Wintein OriginalPaper Open access 27 January 2016 Pages: 503 - 545
Franco Montagna’s Work on Provability Logic and Many-valued Logic Lev BeklemishevTommaso Flaminio OriginalPaper 25 January 2016 Pages: 1 - 46
Book Review: A Mathematical Prelude to the Philosophy of Mathematics John Stillwell BookReview 19 January 2016 Pages: 181 - 183
Book Review: Gottlob Frege, Basic Laws of Arithmetic Kevin C. Klement BookReview 19 January 2016 Pages: 175 - 180
Matching Topological and Frame Products of Modal Logics Philip Kremer OriginalPaper 19 January 2016 Pages: 487 - 502
Admissible Bases Via Stable Canonical Rules Nick BezhanishviliDavid GabelaiaMamuka Jibladze OriginalPaper Open access 09 January 2016 Pages: 317 - 341
Order in Implication Zroupoids Juan M. CornejoHanamantagouda P. Sankappanavar OriginalPaper 07 January 2016 Pages: 417 - 453
Reductio ad contradictionem: An Algebraic Perspective Adam Přenosil OriginalPaper 07 January 2016 Pages: 389 - 415
Modal Definability Based on Łukasiewicz Validity Relations Bruno Teheux OriginalPaper 06 January 2016 Pages: 343 - 363
Structural Completeness in Relevance Logics J. G. RafteryK. Świrydowicz OriginalPaper 19 December 2015 Pages: 381 - 387
Congruence Lattices of Semilattices with Operators Jennifer HyndmanJ. B. NationJoy Nishida OriginalPaper 21 November 2015 Pages: 305 - 316
Automorphisms of the Lattice of Classical Modal Logics Adrian Soncodi OriginalPaper 19 November 2015 Pages: 249 - 276
Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking Bożena Woźna-SzcześniakAndrzej Zbrzezny OriginalPaper Open access 29 October 2015 Pages: 641 - 678
A STIT Logic for Reasoning About Social Influence Emiliano LoriniGiovanni Sartor OriginalPaper 28 October 2015 Pages: 773 - 812
On the Minimal Non-Fregean Grzegorczyk Logic Joanna Golińska-Pilarek OriginalPaper Open access 20 October 2015 Pages: 209 - 234
Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types Adrian Rezuş BookReview 12 October 2015 Pages: 1319 - 1326
Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL Matteo BianchiFranco Montagna Erratum 09 October 2015 Pages: 1183 - 1183
Correia Semantics Revisited Thomas Macaulay Ferguson OriginalPaper 25 September 2015 Pages: 145 - 173
Hard and Soft Preparation Sets in Boolean Games Paul HarrensteinPaolo TurriniMichael Wooldridge OriginalPaper 23 September 2015 Pages: 813 - 847
Free and Projective Bimodal Symmetric Gödel Algebras Revaz GrigoliaTatiana KiseliovaVladimer Odisharia OriginalPaper 23 September 2015 Pages: 115 - 143
A Categorical Equivalence Motivated by Kalman’s Construction Marta S. SagastumeHernán J. San Martín OriginalPaper 22 September 2015 Pages: 185 - 208
Progression and Verification of Situation Calculus Agents with Bounded Beliefs Giuseppe De GiacomoYves LespéranceStavros Vassos OriginalPaper Open access 05 September 2015 Pages: 705 - 739
A Logical Theory of Localization Vaishak BelleHector J. Levesque OriginalPaper 22 August 2015 Pages: 741 - 772
On the Disjunctive Markov Principle Ulrich Kohlenbach OriginalPaper 20 August 2015 Pages: 1313 - 1317
Book Review: Alex Oliver and Timothy Smiley, Plural Logic Thomas BrouwerCasper Storm Hansen BookReview 14 August 2015 Pages: 1095 - 1100
A Computationally Grounded, Weighted Doxastic Logic Taolue ChenGiuseppe PrimieroNeha Rungta OriginalPaper 08 July 2015 Pages: 679 - 703
Nice Embedding in Classical Logic Peter VerdéeDiderik Batens OriginalPaper 08 July 2015 Pages: 47 - 78
Book Review: Jonathan Ginzburg, The Interactive Stance: Meaning in Conversation Luciana Benotti BookReview 29 June 2015 Pages: 877 - 882
The Faithfulness of Fat: A Proof-Theoretic Proof Fernando FerreiraGilda Ferreira OriginalPaper 18 June 2015 Pages: 1303 - 1311
Periodicity and Reflexivity in Revision Sequences Edoardo Rivello OriginalPaper 11 June 2015 Pages: 1279 - 1302
Dual Erotetic Calculi and the Minimal \({\mathsf{LFI}}\) Szymon ChlebowskiDorota Leszczyńska-Jasion OriginalPaper Open access 03 June 2015 Pages: 1245 - 1278
