Journal: Studia Logica

Volume 110, Issue 6

1349 -- 1380Matteo Tesi. On the Proof Theory of Infinitary Modal Logic
1381 -- 1415Szymon Chlebowski, Marta Gawek, Agata Tomczyk. Natural Deduction Systems for Intuitionistic Logic with Identity
1417 -- 1464Janusz Czelakowski, Adam Olszewski. Logics of Order and Related Notions
1465 -- 1491Hernán Javier San Martín. On Relative Principal Congruences in Term Quasivarieties
1493 -- 1506Rosalie Iemhoff. The G4i Analogue of a G3i Sequent Calculus
1507 -- 1536Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra. Loop-Check Specification for a Sequent Calculus of Temporal Logic
1537 -- 1538Pere Pardo. Correction to: A Modal View on Resource-Bounded Propositional Logics

Volume 110, Issue 5

1137 -- 1153Dmitry Bredikhin. On Groupoids of Relations with One Conjunctive Operation of Rank 2
1155 -- 1187Paolo Aglianò. Splittings in Subreducts of Hoops
1189 -- 1217Igor Gorbunov, Dmitry Shkatov. On Independent Axiomatizability of Quasi-Normal Modal Logics
1219 -- 1241Tatyana Ivanova. Contact Join-semilattices
1243 -- 1253Krzysztof A. Krawczyk. Two Maximality Results for the Lattice of Extensions of $\vdash _{\mathbf {RM}}$
1255 -- 1289Zhe Lin 0002, Minghui Ma. A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics
1291 -- 1325Aldo Figallo Orellano, Miguel Pérez-Gaspar, Juan Manuel Ramírez-Contreras. Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras
1327 -- 1347Mikhail Svyatlovskiy. +

Volume 110, Issue 4

881 -- 922Sándor Jenei. Group Representation for Even and Odd Involutive Commutative Residuated Chains
923 -- 924Sándor Jenei. Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains
925 -- 947Luis Estrada-González. An Analysis of Poly-connexivity
949 -- 987Manuela Busaniche, Nikolaos Galatos, Miguel Andrés Marcos. Twist Structures and Nelson Conuclei
989 -- 1033Alessandro Giordani, Matteo Pascucci. Generalizing Deontic Action Logic
1035 -- 1080Pere Pardo. A Modal View on Resource-Bounded Propositional Logics
1081 -- 1114Ricardo Oscar Rodríguez, Olim Frits Tuyt, Francesc Esteva, Lluís Godo. Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions
1115 -- 1134Andrei Sipos. On Extracting Variable Herbrand Disjunctions
1135 -- 0Sándor Jenei. Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups

Volume 110, Issue 3

599 -- 0Jacek Malinowski. Obituary
601 -- 642Marcelo E. Coniglio, Guilherme V. Toledo. n Logics Based on Restricted Nmatrix Semantics
643 -- 677Martin Fischer 0009. Sequent Calculi for the Propositional Logic of HYPE
679 -- 716Sena Bozdag. A Semantics for Hyperintensional Belief Revision Based on Information Bases
717 -- 743Jim de Groot. Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic
745 -- 784Juan Carlos Sánchez Hernández. Tableaux for Some Modal-Tense Logics Graham Priest's Fashion
785 -- 818Daichi Hayashi. On Cut-Elimination Arguments for Axiomatic Theories of Truth
819 -- 877Antonio Piccolomini d'Aragona. Calculi of Epistemic Grounding Based on Prawitz's Theory of Grounds
879 -- 0Martín Figallo. Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic

Volume 110, Issue 2

295 -- 317Michael Kaminski. Extending the Lambek Calculus with Classical Negation
319 -- 353Bruno Da Ré, Federico Matias Pailos. Sequent-Calculi for Metainferential Logics
355 -- 403Antonio Piccolomini d'Aragona. Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz's Theory of Grounds
405 -- 427Wolfgang Rump. Frobenius Quantales, Serre Quantales and the Riemann-Roch Theorem
429 -- 456Alexandra Pavlova, Robert Freiman, Timo Lang. From Semantic Games to Provability: The Case of Gödel Logic
457 -- 478Carlos Gallardo, Alicia Ziliani. A Generalization of Monadic n-Valued Łukasiewicz Algebras
479 -- 509Szymon Chlebowski, Andrzej Gajda, Mariusz Urbanski. An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency mbC
511 -- 543Sven Ove Hansson. A Characterization of Probability-based Dichotomous Belief Revision
545 -- 592Paolo Pistone, Luca Tranchini, Mattia Petrolo. The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives
593 -- 596Bozena Czernecka-Rej. Book Reviews
597 -- 598Mikhail N. Rybakov, Dmitry Shkatov. Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter

Volume 110, Issue 1

1 -- 45Jie Fan. Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood Semantics
47 -- 93Vincenzo Crupi, Andrea Iacona. Three Ways of Being Non-Material
95 -- 120Wesley Fussner. Poset Products as Relational Models
121 -- 163Lloyd Humberstone. Idempotent Variations on the Theme of Exclusive Disjunction
165 -- 188Taishi Kurahashi. On Inclusions Between Quantified Provability Logics
189 -- 218Sourav Tarafder, Giorgio Venturi. $\mathrm {ZF}$ Between Classicality and Non-classicality
219 -- 239Nils Kürbis. A Binary Quantifier for Definite Descriptions for Cut Free Free Logics
241 -- 263Aldo V. Figallo, Jonathan Sermento, Gustavo Pelaitay. A Categorical Equivalence for Tense Nelson Algebras
265 -- 289Takao Inoué. On Blass Translation for Leśniewski's Propositional Ontology and Modal Logics
291 -- 293Piotr Kulicki. Book Reviews