Journal: Studia Logica

Volume 106, Issue 6

1065 -- 1095Tomás Lávicka, Carles Noguera. Extension Properties and Subdirect Representation in Abstract Algebraic Logic
1097 -- 1122Philip Kremer. Topological-Frame Products of Modal Logics
1123 -- 1162Allen L. Mann, Ville Aarnio. A Logical Analysis of Monty Hall and Sleeping Beauty
1163 -- 1180Hitoshi Omori, Jesse Alama. Axiomatizing Jaśkowski's Discussive Logic $$\mathbf {D_2}$$ D 2
1181 -- 1196Taishi Kurahashi. Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Σ 2 Numerations
1197 -- 1238Rafal Gruszczynski, Andrzej Pietruszczak. A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures
1239 -- 1260Antonio di Nola, Giacomo Lenzi. Duality Theory and Skeleta for Semisimple MV-Algebras
1261 -- 1289Andrzej Pietruszczak, Tomasz Jarmuzek. Pure Modal Logic of Names and Tableau Systems
1291 -- 1311Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill. A New Proof of the McKinsey-Tarski Theorem
1313 -- 1318Graham Priest. Holger Andreas and Peter Verdée (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics - Springer, Series: Trends in Logic, Vol. 45 2016, pp. vi + 221. ISBN 978-3-319-40218-5
1319 -- 1323Dag Normann. David Marker, Lectures on Infinitary Model Theory - Series: Lecture Notes in Logic, Vol. 46 2016, pp. 192. ISBN-13: 978-1107181939

Volume 106, Issue 5

889 -- 891Alessandra Palmigiano, Marcus Pivato. Logics for Social Behaviour: An Editorial
893 -- 911Daniel Eckert, Frederik S. Herzberg. The Birth of Social Choice Theory from the Spirit of Mathematical Logic: Arrow's Theorem in the Framework of Model Theory
913 -- 945Tommaso Flaminio, Hykel Hosni, Serafina Lapenta. Convex MV-Algebras: Many-Valued Logics Meet Decision Theory
947 -- 967Frederik Herzberg. Arrovian Aggregation of Generalised Expected-Utility Preferences: (Im)possibility Results by Means of Model Theory
969 -- 999Tadeusz Litak. Infinite Populations, Choice and Determinacy
1001 -- 1064Peter A. Streufert. The Category of Node-and-Choice Preforms for Extensive-Form Games

Volume 106, Issue 4

675 -- 690José Luis Castiglioni, Hernán Javier San Martín. l-Hemi-Implicative Semilattices
691 -- 698Peng He, Xue-ping Wang. A Characterization of a Semimodular Lattice
699 -- 720R. Zoghifard, M. Pourmahdian. First-Order Modal Logic: Frame Definability and a Lindström Theorem
721 -- 737P. Aglianò, Franco Montagna. Varieties of BL-Algebras II
739 -- 756Manuela Busaniche, Conrado Gomez. Poset Product and BL-Chains
757 -- 788Mohammad Ardeshir, Wim Ruitenburg. Latarres, Lattices with an Arrow
789 -- 808Joan Gispert. Finitary Extensions of the Nilpotent Minimum Logic and (Almost) Structural Completeness
809 -- 826Hsing-chien Tsai. General Extensional Mereology is Finitely Axiomatizable
827 -- 856Alex Citkin. Hereditarily Structurally Complete Superintuitionistic Deductive Systems
857 -- 882Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay. Principal and Boolean Congruences on $$\varvec{IKt}$$ IKt -Algebras
883 -- 888Giorgio Lando. Massimiliano Carrara, Alexandra Arapinis and Friederike Moltmann (eds.), Unity and Plurality. Logic, Philosophy, and Linguistics, OUP: Oxford, 2016, xv + 259 pp., ISBN: 978-019-8716-32-7 (hardback) £45, (kindle) £36

Volume 106, Issue 3

453 -- 480Claudio E. A. Pizzi. Two Kinds of Consequential Implication
481 -- 513Hans van Ditmarsch, Sophia Knight, Aybüke Özgün. Private Announcements on Topological Spaces
515 -- 540Martin Fischer, Norbert Gratzl. Truth, Partial Logic and Infinitary Proof Systems
541 -- 563Szymon Chlebowski. Sequent Calculi for SCI
565 -- 593Minghui Ma, Fei Liang. Sequent Calculi for Semi-De Morgan and De Morgan Algebras
595 -- 613Christian Pech, Maja Pech. Reconstructing the Topology of the Elementary Self-embedding Monoids of Countable Saturated Structures
615 -- 636Timothy Childers, Ondrej Majer. Eliciting Uncertainties: A Two Structure Approach
637 -- 670Sergei P. Odintsov, Stanislav O. Speranski, Igor Shevchenko. Hintikka's Independence-Friendly Logic Meets Nelson's Realizability
671 -- 673Torben Braüner. Willem Conradie and Valentin Goranko, Logic and Discrete Mathematics: A Concise Introduction. Wiley, 2015, pp. 450. ISBN-13: 978-1-118-75127-5 (paperback) $42, ISBN-10: 978-1-118-75127-2 (eBook) $37.99

Volume 106, Issue 2

219 -- 235Taishi Kurahashi. Arithmetical Completeness Theorem for Modal Logic K
237 -- 279Antonis C. Kakas, Paolo Mancarella, Francesca Toni. On Argumentation Logic and Propositional Logic
281 -- 293Juan Manuel Cornejo, Ignacio Darío Viglizzo. Semi-intuitionistic Logic with Strong Negation
295 -- 309Andrzej Wisniewski. Deduction and Reduction Theorems for Inferential Erotetic Logic
311 -- 344Gennady Shtakser. Propositional Epistemic Logics with Quantification Over Agents of Knowledge
345 -- 370Reinhard Muskens, Stefan Wintein. Interpolation in 16-Valued Trilattice Logics
371 -- 395José de Jesús Lavalle-Martínez, Manuel Montes-y-Gómez, Luis Villaseñor Pineda, Héctor Jiménez-Salazar, Ismael Everardo Bárcenas Patiño. Equivalences Among Polarity Algorithms
397 -- 415Kosta Dosen, Milos Adzic. Gödel's Natural Deduction
417 -- 448Antonio Ledda. Stone-Type Representations and Dualities for Varieties of Bisemilattices
449 -- 452Vincenzo Dimonte. Ralf Schindler, Set Theory: Exploring Independence and Truth. Springer International Publishing, 2014, pp. 332+X. ISBN: 978-3-319-06724-7 (softcover) $79.99, ISBN: 978-3-319-06725-4 (eBook) $59.99

Volume 106, Issue 1

1 -- 33Alexandru Baltag, Giovanni Ciná. Bisimulation for Conditional Modalities
35 -- 47Jia Chen, Tianqun Pan. Logic for Describing Strong Belief-Disagreement Between Agents
49 -- 84Shawn Standefer. Proof Theory for Functional Modal Logic
85 -- 100Wolfgang Rump. The Structure Group of a Generalized Orthomodular Lattice
101 -- 130Carlo Nicolai. Provably True Sentences Across Axiomatizations of Kripke's Theory of Truth
131 -- 166Robert Goldblatt, Ian M. Hodkinson. The Finite Model Property for Logics with the Tangle Modality
167 -- 189Shengyang Zhong. Correspondence Between Kripke Frames and Projective Geometries
191 -- 214Asadollah Fallahi. A Second Pretabular Classical Relevance Logic
215 -- 218Roger Antonsen, Andreas Nakkerud. Book Reviews