Search
| Issue | Title | |
| Vol 27, No 1 (2018): March | Natural Deduction for Four-Valued both Regular and Monotonic Logics | Abstract PDF |
| Yaroslav Petrukhin | ||
| Online First | Connexive Conditional Logic. Part I | Abstract PDF |
| Heinrich Wansing, Matthias Unterhuber | ||
| Vol 25, No 2 (2016): June | Partial and paraconsistent three-valued logics | Abstract PDF |
| Vincent Degauquier | ||
| Vol 26, No 2 (2017): June | Natural Deduction for Three-Valued Regular Logics | Abstract PDF |
| Yaroslav Petrukhin | ||
| Vol 26, No 2 (2017): June | Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction | Abstract PDF |
| Moritz Cordes, Friedrich Reinmuth | ||
| Vol 26, No 3 (2017): September | Erotetic Epistemic Logic | Abstract PDF |
| Michal Peliš | ||
| Vol 28, No 1 (2019): March | Fibring Epistemic and Temporal Logics | Abstract PDF |
| Krzysztof Aleksander Krawczyk | ||
| Vol 28, No 1 (2019): March | Supervenience, Dependence, Disjunction | Abstract PDF |
| Lloyd Humberstone | ||
| Vol 27, No 1 (2018): March | Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox | Abstract PDF |
| Daniel Rönnedal | ||
| Vol 25, No 4 (2016): December | Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic | Abstract PDF |
| Alexander Steen, Christoph Benzmüller | ||
| Vol 27, No 3 (2018): September | All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument | Abstract PDF |
| Frode Alfson Bjørdal | ||
| Vol 24, No 3 (2015): September | Dynamic Epistemic Logic and Logical Omniscience | Abstract PDF |
| Mattias Skipper Rasmussen | ||
| Online First | On Definability of Connectives and Modal Logics over FDE | Abstract PDF |
| Sergei P. Odintsov, Daniel Skurt, Heinrich Wansing | ||
| Vol 28, No 2 (2019): June | Jerzy Łoś Positional Calculus and the Origin of Temporal Logic | Abstract PDF |
| Marcin Tkaczyk, Tomasz Jarmużek | ||
| Vol 25, No 1 (2016): March | Trivial Dialetheism and the Logic of Paradox | Abstract PDF |
| Jean-Yves Beziau | ||
| Vol 28, No 2 (2019): June | An Epistemic Interpretation of Paraconsistent Weak Kleene Logic | Abstract PDF |
| Damian E. Szmuc | ||
| Vol 24, No 3 (2015): September | Neighborhood Semantics for Basic and Intuitionistic Logic | Abstract PDF |
| Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki | ||
| Vol 28, No 2 (2019): June | Remarks on Stable Formulas in Intuitionistic Logic | Abstract PDF |
| Majid Alizadeh, Ali Bibak | ||
| Vol 27, No 2 (2018): June | On Displaying Negative Modalities | Abstract PDF |
| Sergey Drobyshevich | ||
| Vol 26, No 2 (2017): June | Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence | Abstract PDF |
| Alexander Karpenko, Natalya Tomova | ||
| Vol 26, No 4 (2017): December | Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach | Abstract PDF |
| Ivo Pezlar | ||
| 1 - 21 of 135 Items | 1 2 3 4 5 6 7 > >> | |
Search tips:
- Search terms are case-insensitive
- Common words are ignored
- By default only articles containing all terms in the query are returned (i.e., AND is implied)
- Combine multiple words with OR to find articles containing either term; e.g., education OR research
- Use parentheses to create more complex queries; e.g., archive ((journal OR conference) NOT theses)
- Search for an exact phrase by putting it in quotes; e.g., "open access publishing"
- Exclude a word by prefixing it with - or NOT; e.g. online -politics or online NOT politics
- Use * in a term as a wildcard to match any sequence of characters; e.g., soci* morality would match documents containing "sociological" or "societal"