![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Studia Logica, Volume 109
Volume 109, Number 1, February 2021
- Giuseppe Greco
, Fei Liang
, M. Andrew Moshier, Alessandra Palmigiano
:
Semi De Morgan Logic Properly Displayed. 1-45 - Frederik Van De Putte
, Dominik Klein
:
Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability. 47-93 - Ryo Hatano
, Katsuhiko Sano
:
Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms. 95-124 - Yale Weiss
:
A Conservative Negation Extension of Positive Semilattice Logic Without the Finite Model Property. 125-136 - Daniil Kozhemiachenko
:
Non-distributive Relatives of ETL and NFL. 137-165 - Annemarie Borg
, Christian Straßer
, Ofer Arieli
:
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents. 167-238
Volume 109, Number 2, April 2021
- Nuel Belnap, Thomas Müller
, Tomasz Placek:
New Foundations for Branching Space-Times. 239-284 - Aldo V. Figallo, Gustavo Pelaitay
, Jonathan Sarmiento
:
An Algebraic Study of Tense Operators on Nelson Algebras. 285-312 - A. Lewis-Smith, Paulo Oliva, Edmund Robinson
:
Kripke Semantics for Intuitionistic Łukasiewicz Logic. 313-339 - Rob Arthan, Paulo Oliva:
Double Negation Semantics for Generalisations of Heyting Algebras. 341-365 - Ricardo Oscar Rodríguez, Amanda Vidal
:
Axiomatization of Crisp Gödel Modal Logic. 367-395 - Kentarô Yamamoto
:
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics. 397-421 - Jürgen Landes
:
The Entropy-Limit (Conjecture) for Σ 2-Premisses. 423-442 - Ingrid Rewitzky
:
Joanna Golińska-Pilarek and Michał Zawidzki, (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, Series: Outstanding Contributions to Logic, Vol. 17 2018, pp. 502. 443-445
Volume 109, Number 3, June 2021
- Igor Sedlár
, Andrew Tedder
:
Lambek Calculus with Conjugates. 447-470 - Igor Sedlár
, Andrew Tedder
:
Correction to: Lambek Calculus with Conjugates. 471 - Sara Negri
, Edi Pavlovic
:
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT. 473-507 - Santiago Jockwich Martinez
, Giorgio Venturi
:
Non-classical Models of ZF. 509-537 - Ramon Jansana, Tommaso Moraschini
:
The Poset of All Logics III: Finitely Presentable Logics. 539-580 - John Grant
:
Measuring Inconsistency in Some Logics with Modal Operators. 581-605 - Mirjana Ilic
:
A Cut-Elimination Proof in Positive Relevant Logic with Necessity. 607-638 - Hans van Ditmarsch
, Tim French
, James Hales:
Positive Announcements. 639-681 - Marcin Tkaczyk
:
Book Reviews. 683-686
Volume 109, Number 4, August 2021
- Yale Weiss
:
A Characteristic Frame for Positive Intuitionistic and Relevance Logic. 687-699 - Philippe Balbiani
, Tatyana Ivanova
:
Relational Representation Theorems for Extended Contact Algebras. 701-723 - Matteo Tesi
:
Labelled Sequent Calculi for Lewis' Non-normal Propositional Modal Logics. 725-757 - Yuanlei Lin, Minghui Ma:
Belnap-Dunn Modal Logic with Value Operators. 759-789 - Damián Enrique Szmuc:
A Simple Logical Matrix and Sequent Calculus for Parry's Logic of Analytic Implication. 791-828 - Jim de Groot
:
Positive Monotone Modal Logic. 829-857 - Andrzej Indrzejczak
:
Free Logics are Cut-Free. 859-886 - Sándor Jenei
:
Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups. 887-901
Volume 109, Number 5, October 2021
- Malgorzata Kruszelnicka
:
Games and Bisimulations for Intuitionistic First-Order Kripke Models. 903-916 - Yuki Honda, Koji Nakazawa, Ken-etsu Fujita:
Confluence Proofs of Lambda-Mu-Calculi by Z Theorem. 917-936 - Diego Nicolás Castaño
, Cecilia Cimadamore, José Patricio Díaz Varela, Laura A. Rueda:
An Algebraic Study of S5-Modal Gödel Logic. 937-967 - Stefano Bonzio
, Michele Pra Baldi:
Containment Logics: Algebraic Completeness and Axiomatization. 969-994 - Vít Puncochár
:
Inquisitive Heyting Algebras. 995-1017 - Chenwei Shi
, Yang Sun:
Logic of Convex Order. 1019-1047 - Adam Bjorndahl, Will Nalls
:
Endogenizing Epistemic Actions. 1049-1091 - Minghui Ma, Qian Chen
:
Lattices of Finitely Alternative Normal Tense Logics. 1093-1118 - John Harding, Frederik Möllerström Lauridsen
:
Hyper-MacNeille Completions of Heyting Algebras. 1119-1157 - Cristian S. Calude
:
Incompleteness and the Halting Problem. 1159-1169 - Hilary A. Priestley:
Leo Esakia, Heyting Algebras: Duality Theory, Guram Bezhanishvili and Wesley A. Holliday, (eds.), Springer International Publishing, Series: Trends in Logic, Vol. 50, 2019, pp. 95+xv. 1171-1173 - Dmitry Shkatov
, Clint J. van Alten
:
Correction to: Complexity of the Universal Theory of Modal Algebras. 1175
Volume 109, Number 6, December 2021
- Ming Xu
:
Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence. 1177-1200 - Davide Fazio
, Antonio Ledda, Francesco Paoli:
Residuated Structures and Orthomodular Lattices. 1201-1239 - Norihiro Kamide
:
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi. 1241-1271 - Sergey Drobyshevich
, Daniel Skurt:
Neighbourhood Semantics for FDE-Based Modal Logics. 1273-1309 - Yongfeng Yuan:
Bayesian Belief Revision Based on Agent's Criteria. 1311-1346 - Martín Figallo
:
Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic. 1347-1373 - René Gazzari
:
The Calculus of Natural Calculation. 1375-1411 - Yoshiki Nakamura
, Naosuke Matsuda:
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori-Kashima Problem. 1413-1422 - Shengwei Han
, Xiaoting Xu:
A Few Notes on Quantum B-algebras. 1423-1440 - Cosimo Perini Brogi
:
Curry-Howard-Lambek Correspondence for Intuitionistic Belief. 1441-1461 - Grzegorz Sitek
:
Book Reviews. 1463-1466
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.