Search


 
Issue Title
 
Vol 24, No 3 (2015): September Neighborhood Semantics for Basic and Intuitionistic Logic Abstract  PDF
Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki
 
Vol 28, No 4 (2019): December On a multilattice analogue of a hypersequent S5 calculus Abstract  PDF
Oleg Grigoriev, Yaroslav Petrukhin
 
Vol 28, No 2 (2019): June Remarks on Stable Formulas in Intuitionistic Logic Abstract  PDF
Majid Alizadeh, Ali Bibak
 
Vol 29, No 1 (2020): March A Poly-Connexive Logic Abstract  PDF
Nissim Francez
 
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 The Logical Burdens of Proof. Assertion and Hypothesis Abstract  PDF
Daniele Chiffi, Fabien Schang
 
Vol 25, No 1 (2016): March The lattice of Belnapian modal logics: Special extensions and counterparts Abstract  PDF
Sergei P. Odintsov, Stanislav O. Speranski
 
Vol 28, No 3 (2019): September Towards a bridge over two approaches in connexive logic Abstract  PDF
Hitoshi Omori
 
Vol 29, No 2 (2020): June Logic of Social Ontology and Łoś’s Operator Abstract  PDF
Jacek Malinowski, Krzysztof Pietrowicz, Joanna Szalacha-Jarmużek
 
Vol 26, No 4 (2017): December Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach Abstract  PDF
Ivo Pezlar
 
Vol 29, No 1 (2020): March Implicational Logic, Relevance, and Refutability Abstract  PDF
Tomasz Skura
 
Vol 28, No 3 (2019): September Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity Abstract  PDF
Thomas Macaulay Ferguson
 
Vol 27, No 3 (2018): September Epistemic Erotetic Search Scenarios Abstract  PDF
Paweł Łupkowski, Ondrej Majer, Michal Peliš, Mariusz Urbański
 
Vol 29, No 3 (2020): September Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization Abstract  PDF
Torben Braüner
 
Vol 28, No 2 (2019): June Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis Abstract  PDF
Yaroslav Petrukhin, Vasilyi Shangin
 
Vol 29, No 1 (2020): March Towards Contingent World Descriptions in Description Logics Abstract  PDF
Farshad Badie
 
Vol 24, No 4 (2015): December Mereological foundations of point-free geometry via multi-valued logic Abstract  PDF
Cristina Coppola, Giangiacomo Gerla
 
Vol 19, No 1-2 (2010) An adaptive logic framework for conditional obligations and deontic dilemmas Abstract  PDF
Christian Straßer
 
Vol 28, No 3 (2019): September Relevant Connexive Logic Abstract  PDF
Nissim Francez
 
Vol 26, No 4 (2017): December Tautology Elimination, Cut Elimination, and S5 Abstract  PDF
Andrzej Indrzejczak
 
22 - 42 of 150 Items << < 1 2 3 4 5 6 7 8 > >> 

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"



Partnerzy platformy czasopism