default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
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-10-31 20:04 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:
