Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica - An International Journal for Symbolic Logic, Volume 108
Volume 108, Number 1, February 2020
- Piotr Kulicki
, Olivier Roy:
From Permissions to Obligations and Beyond: An Editorial. 1-3 - Janusz Czelakowski:
Deontology of Compound Actions. 5-47 - Albert J. J. Anglberger, Johannes Korbmacher:
Truthmakers and Normative Conflicts. 49-83 - Dominik Klein, Alessandra Marra:
From Oughts to Goals: A Logic for Enkrasia. 85-128 - Réka Markovich:
Understanding Hohfeld and Formalizing Legal Rights: The Hohfeldian Conceptions and Their Conditional Consequences. 129-158 - Jeffrey Ketland:
Book Reviews. 159-162
Volume 108, Number 2, April 2020
- Minghui Ma, Yuanlei Lin:
Countably Many Weakenings of Belnap-Dunn Logic. 163-198 - Lloyd Humberstone, Allen Hazen:
When is a Schema Not a Schema? On a Remark by Suszko. 199-220 - Dmitry Shkatov, Clint J. van Alten:
Complexity of the Universal Theory of Modal Algebras. 221-237 - Tatyana Ivanova:
Extended Contact Algebras and Internal Connectedness. 239-254 - Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg:
Epimorphisms, Definability and Cardinalities. 255-275 - Giorgio Venturi:
Infinite Forcing and the Generic Multiverse. 277-290 - Marcello D'Agostino, Dov M. Gabbay, Sanjay Modgil:
Normality, Non-contamination and Logical Depth in Classical Natural Deduction. 291-357 - Asadollah Fallahi:
Simple Axiomatizations for Pretabular Classical Relevance Logics. 359-393
Volume 108, Number 3, June 2020
- Michael Schippers, Jakob Koscholke:
A General Framework for Probabilistic Measures of Coherence. 395-424 - Yongfeng Yuan:
Bayesian Confirmation or Ordinary Confirmation? 425-449 - Andrzej Pietruszczak, Mateusz Klonowski, Yaroslav I. Petrukhin:
Simplified Kripke-Style Semantics for Some Normal Modal Logics. 451-476 - José Espírito Santo, Gilda Ferreira:
A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism. 477-507 - Michael Arndt:
The Explosion Calculus. 509-547 - Norihiro Kamide, Yoni Zohar:
Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic. 549-571 - Neil Barton, Andrés Eduardo Caicedo, Gunter Fuchs, Joel David Hamkins, Jonas Reitz, Ralf Schindler:
Inner-Model Reflection Principles. 573-595 - Taishi Kurahashi:
Rosser Provability and Normal Modal Logics. 597-617 - Guido Gherardi, Paolo Maffezioli, Eugenio Orlandelli:
Interpolation in Extensions of First-Order Logic. 619-648
Volume 108, Number 4, August 2020
- Marta Bílková, Almudena Colacito:
Proof Theory for Positive Logic with Weak Negation. 649-686 - Nicholas Pischke:
A Note on Strong Axiomatization of Gödel Justification Logic. 687-724 - Wolfgang Rump, Xia Zhang:
L-effect Algebras. 725-750 - Ted Shear, John Quiggin:
Justification Logic with Confidence. 751-778 - Francesco Paoli, Michele Pra Baldi:
Proof Theory of Paraconsistent Weak Kleene Logic. 779-802 - Charles McCarty:
Satisfiability is False Intuitionistically: A Question from Dana Scott. 803-813 - Andreas Fjellstad:
Herzberger's Limit Rule with Labelled Sequent Calculus. 815-855 - Hirohiko Kushida:
A Proof Theory for the Logic of Provability in True Arithmetic. 857-875
Volume 108, Number 5, October 2020
- Yuanlei Lin, Minghui Ma:
Polarity Semantics for Negation as a Modal Operator. 877-902 - Diderik Batens:
Adaptive Fregean Set Theory. 903-939 - Philippe Balbiani, Çigdem Gencer:
About the Unification Type of Modal Logics Between $\mathbf {KB}$ and $\mathbf {KTB}$. 941-966 - Satoru Niki:
Subminimal Logics in Light of Vakarelov's Logic. 967-987 - Denis I. Saveliev, Ilya Shapirovsky:
On Modal Logics of Model-Theoretic Relations. 989-1017 - Giacomo Bonanno:
Logics for Belief as Maximally Plausible Possibility. 1019-1061 - José Gil-Férez, Frederik Möllerström Lauridsen, George Metcalfe:
Integrally Closed Residuated Lattices. 1063-1086 - Krystyna Mruczek-Nasieniewska, Marek Nasieniewski:
On Correspondence of Standard Modalities and Negative Ones on the Basis of Regular and Quasi-regular Logics. 1087-1123
Volume 108, Number 6, December 2020
- Marek Nowak:
Disjunctive and Conjunctive Multiple-Conclusion Consequence Relations. 1125-1143 - Tyler Brunet, Eyal Fisher:
Reasoning Continuously: A Formal Construction of Continuous Proofs. 1145-1160 - Sándor Jenei:
The Hahn Embedding Theorem for a Class of Residuated Semigroups. 1161-1206 - Bernhard Heinemann:
Reusing Topological Nexttime Logic. 1207-1234 - Edoardo Rivello:
Notes on Leitgeb's What Truth Depends on. 1235-1262 - Robert Goldblatt:
Definable Operators on Stable Set Lattices. 1263-1280 - Sergey Drobyshevich:
A General Framework for FDE-Based Modal Logics. 1281-1306 - Ben Middleton:
A Canonical Model for Constant Domain Basic First-Order Logic. 1307-1323
a service of 
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-04-18 21:15 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:
