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
Reduction Rules for Intuitionistic \({{\lambda}{\rho}}\)-calculus Ken-etsu FujitaRyo KashimaNaosuke Matsuda OriginalPaper 26 May 2015 Pages: 1225 - 1244
Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL Matteo BianchiFranco Montagna OriginalPaper 16 May 2015 Pages: 1163 - 1181
Book Review: Matthias Baaz and Alexander Leitsch, Methods of Cut-Elimination Sam Buss BookReview 10 May 2015 Pages: 663 - 667
First-Order Logic in the Medvedev Lattice Rutger Kuyper OriginalPaper Open access 09 May 2015 Pages: 1185 - 1224
Decidability of Logics Based on an Indeterministic Metric Tense Logic Yan ZhangKai Li OriginalPaper 09 May 2015 Pages: 1123 - 1162
A Dichotomy for Some Elementarily Generated Modal Logics Stanislav Kikot OriginalPaper 10 April 2015 Pages: 1063 - 1093
Book Review: R. J. G. B. de Queiroz, A. G. de Oliveira, D. M. Gabbay, The Functional Interpretation of Logical Deduction Adrian Rezuş BookReview 27 March 2015 Pages: 447 - 451
Negational Fragment of Intuitionistic Control Logic Anna Glenszczyk OriginalPaper Open access 26 March 2015 Pages: 1101 - 1121
Intricate Axioms as Interaction Axioms Guillaume Aucher OriginalPaper 18 March 2015 Pages: 1035 - 1062