default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia 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
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-08 01:30 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:
