


default search action
Studia Logica, Volume 110
Volume 110, Number 1, February 2022
- Jie Fan
:
Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood Semantics. 1-45 - Vincenzo Crupi, Andrea Iacona:
Three Ways of Being Non-Material. 47-93 - Wesley Fussner
:
Poset Products as Relational Models. 95-120 - Lloyd Humberstone
:
Idempotent Variations on the Theme of Exclusive Disjunction. 121-163 - Taishi Kurahashi
:
On Inclusions Between Quantified Provability Logics. 165-188 - Sourav Tarafder, Giorgio Venturi
:
$\mathrm {ZF}$ Between Classicality and Non-classicality. 189-218 - Nils Kürbis
:
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics. 219-239 - Aldo V. Figallo, Jonathan Sermento, Gustavo Pelaitay
:
A Categorical Equivalence for Tense Nelson Algebras. 241-263 - Takao Inoué
:
On Blass Translation for Leśniewski's Propositional Ontology and Modal Logics. 265-289 - Piotr Kulicki
:
Book Reviews. 291-293
Volume 110, Number 2, April 2022
- Michael Kaminski
:
Extending the Lambek Calculus with Classical Negation. 295-317 - Bruno Da Ré
, Federico Matias Pailos
:
Sequent-Calculi for Metainferential Logics. 319-353 - Antonio Piccolomini d'Aragona
:
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz's Theory of Grounds. 355-403 - Wolfgang Rump:
Frobenius Quantales, Serre Quantales and the Riemann-Roch Theorem. 405-427 - Alexandra Pavlova
, Robert Freiman
, Timo Lang:
From Semantic Games to Provability: The Case of Gödel Logic. 429-456 - Carlos Gallardo
, Alicia Ziliani:
A Generalization of Monadic n-Valued Łukasiewicz Algebras. 457-478 - Szymon Chlebowski
, Andrzej Gajda, Mariusz Urbanski
:
An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency mbC. 479-509 - Sven Ove Hansson
:
A Characterization of Probability-based Dichotomous Belief Revision. 511-543 - Paolo Pistone
, Luca Tranchini
, Mattia Petrolo
:
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives. 545-592 - Bozena Czernecka-Rej
:
Book Reviews. 593-596 - Mikhail N. Rybakov
, Dmitry Shkatov
:
Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter. 597-598
Volume 110, Number 3, June 2022
- Jacek Malinowski:
Obituary. 599 - Marcelo E. Coniglio
, Guilherme Vicentin de Toledo
:
Two Decision Procedures for da Costa's Cn Logics Based on Restricted Nmatrix Semantics. 601-642 - Martin Fischer
:
Sequent Calculi for the Propositional Logic of HYPE. 643-677 - Sena Bozdag
:
A Semantics for Hyperintensional Belief Revision Based on Information Bases. 679-716 - Jim de Groot
:
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic. 717-743 - Juan Carlos Sánchez Hernández
:
Tableaux for Some Modal-Tense Logics Graham Priest's Fashion. 745-784 - Daichi Hayashi
:
On Cut-Elimination Arguments for Axiomatic Theories of Truth. 785-818 - Antonio Piccolomini d'Aragona
:
Calculi of Epistemic Grounding Based on Prawitz's Theory of Grounds. 819-877 - Martín Figallo
:
Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic. 879
Volume 110, Number 4, August 2022
- Sándor Jenei
:
Group Representation for Even and Odd Involutive Commutative Residuated Chains. 881-922 - Sándor Jenei
:
Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains. 923-924 - Luis Estrada-González
:
An Analysis of Poly-connexivity. 925-947 - Manuela Busaniche
, Nikolaos Galatos
, Miguel Andrés Marcos
:
Twist Structures and Nelson Conuclei. 949-987 - Alessandro Giordani
, Matteo Pascucci
:
Generalizing Deontic Action Logic. 989-1033 - Pere Pardo
:
A Modal View on Resource-Bounded Propositional Logics. 1035-1080 - Ricardo 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. 1081-1114 - Andrei Sipos
:
On Extracting Variable Herbrand Disjunctions. 1115-1134 - Sándor Jenei
:
Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups. 1135
Volume 110, Number 5, October 2022
- Dmitry Bredikhin
:
On Groupoids of Relations with One Conjunctive Operation of Rank 2. 1137-1153 - Paolo Aglianò
:
Splittings in Subreducts of Hoops. 1155-1187 - Igor Gorbunov, Dmitry Shkatov:
On Independent Axiomatizability of Quasi-Normal Modal Logics. 1189-1217 - Tatyana Ivanova
:
Contact Join-semilattices. 1219-1241 - Krzysztof A. Krawczyk
:
Two Maximality Results for the Lattice of Extensions of $\vdash _{\mathbf {RM}}$. 1243-1253 - Zhe Lin, Minghui Ma:
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics. 1255-1289 - Aldo Figallo Orellano
, Miguel Pérez-Gaspar, Juan Manuel Ramírez-Contreras:
Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras. 1291-1325 - Mikhail Svyatlovskiy
:
Modal Companions of K4+. 1327-1347
Volume 110, Number 6, December 2022
- Matteo Tesi
:
On the Proof Theory of Infinitary Modal Logic. 1349-1380 - Szymon Chlebowski
, Marta Gawek, Agata Tomczyk
:
Natural Deduction Systems for Intuitionistic Logic with Identity. 1381-1415 - Janusz Czelakowski
, Adam Olszewski
:
Logics of Order and Related Notions. 1417-1464 - Hernán Javier San Martín
:
On Relative Principal Congruences in Term Quasivarieties. 1465-1491 - Rosalie Iemhoff
:
The G4i Analogue of a G3i Sequent Calculus. 1493-1506 - Romas Alonderis
, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra:
Loop-Check Specification for a Sequent Calculus of Temporal Logic. 1507-1536 - Pere Pardo
:
Correction to: A Modal View on Resource-Bounded Propositional Logics. 1537-1538

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.
