![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Applied Non-Classical Logics, Volume 18
Volume 18, Number 1, 2008
- João Marcos:
Possible-translations semantics for some weak classically-based paraconsistent logics. 7-28 - Andrew Schumann
:
Non-Archimedean fuzzy and probability logic. 29-48 - José M. Méndez
, Gemma Robles
:
Relevance logics and intuitionistic negation. 49-65 - Walter Hussak:
The serializability problem for a temporal logic of transaction queries. 67-78 - Zoran Majkic:
Autoreferential semantics for many-valued modal logics. 79-125
Volume 18, Numbers 2-3, 2008
- Philippe Balbiani
:
Hyper arrow logic with indiscernibility and complementarity. 137-152 - Johan van Benthem, Denis Bonnay:
Modal logic and invariance. 153-173 - Willem Conradie
, Valentin Goranko:
Algorithmic correspondence and completeness in modal logic. 175-211 - Ivo Düntsch
, Ewa Orlowska:
A discrete duality between apartness algebras and apartness frames. 213-227 - G. Georgiev, Tinko Tinchev
:
Second-order logic on equivalence relations. 229-246 - Ian Pratt-Hartmann
:
Conditionalization and total knowledge. 247-266 - Mikhail N. Rybakov
:
Complexity of intuitionistic propositional logic and its fragments. 267-292 - Vladimir V. Rybakov:
Temporal logic with interacting agents. 293-308 - V. Sotirov:
Non-classical operations hidden in classical logic. 309-324 - Andrzej Szalas:
Towards incorporating background theories into quantifier elimination. 325-340 - Heinrich Wansing:
Constructive negation, implication, and co-implication. 341-364
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.