default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia 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 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.
last updated on 2026-04-17 00:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
