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é
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
From Semantic Games to Provability: The Case of Gödel Logic. 429-456 - Carlos Gallardo
A Generalization of Monadic n-Valued Łukasiewicz Algebras. 457-478 - Szymon Chlebowski
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
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
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
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
Twist Structures and Nelson Conuclei. 949-987 - Alessandro Giordani
Generalizing Deontic Action Logic. 989-1033 - Pere Pardo
A Modal View on Resource-Bounded Propositional Logics. 1035-1080 - Ricardo Oscar Rodríguez
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
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
Natural Deduction Systems for Intuitionistic Logic with Identity. 1381-1415 - Janusz Czelakowski
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
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 2024-12-22 18:49 CET 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: