default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogica Universalis, Volume 15
Volume 15, Number 1, March 2021
- Daniel Rönnedal:
Quantified Temporal Alethic Boulesic Doxastic Logic. 1-65 - Yaroslav I. Petrukhin
, Vasilyi Shangin:
Correspondence Analysis for Some Fragments of Classical Propositional Logic. 67-85 - Alejandro Hernández-Tello, Miguel Pérez-Gaspar, Verónica Borja Macías:
Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $\mathbf {L3A_G}$ and $\mathbf {L3B_G}$. 87-121
Volume 15, Number 2, June 2021
- Jie Fan:
Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations. 123-147 - Tin Perkov:
A Note on Logicality of Generalized Quantifiers. 149-152 - Marta Vlasáková:
What is Identical? 153-170 - Yale Weiss:
A Reinterpretation of the Semilattice Semantics with Applications. 171-191 - Michael Kaminski, Nissim Francez:
Calculi for Many-Valued Logics. 193-226 - Alexei Y. Muravitsky:
On Nonmonotonic Consequence Relations. 227-249
Volume 15, Number 3, September 2021
- José-Luis Usó-Doménech, Josué-Antonio Nescolarde-Selva, Lorena Segura-Abad, Kristian Alonso-Stenberg, Hugh Gash:
Mathematical Perspectives on Liar Paradoxes. 251-269 - Edelcio Gonçalves de Souza, Alexandre Costa-Leite, Diogo H. B. Dias:
Paraconsistent Orbits of Logics. 271-289 - Abbas Ahsan:
Islamic Contradictory Theology ... Is there any such Thing? 291-329 - Andrew Schumann:
On the Origin of Logical Determinism in Babylonia. 331-357 - Amirouche Moktefi:
Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll's Symbolic Logic. 359-379 - Stepan I. Bashmakov:
Unification in Pretabular Extensions of S4. 381-397
Volume 15, Number 4, December 2021
- John Woods:
The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable. 399-433 - Eunsuk Yang, J. Michael Dunn:
Implicational Tonoid Logics: Algebraic and Relational Semantics. 435-456 - Eunsuk Yang, J. Michael Dunn:
Implicational Partial Galois Logics: Relational Semantics. 457-476 - Paulo Guilherme Santos, Reinhard Kahle:
k-Provability in $\hbox {PA}$. 477-516 - Mateusz Klonowski:
Axiomatization of Some Basic and Modal Boolean Connexive Logics. 517-536 - Antonino Drago:
An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov's 1932 Paper. 537-552
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 2025-12-09 23:26 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:
