Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Applied Non-Classical Logics, Volume 18

> Home > Journals > Journal of Applied Non-Classical Logics

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 18, Number 1, 2008

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Marcos08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Marcos08
João Marcos:
Possible-translations semantics for some weak classically-based paraconsistent logics. 7-28
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Schumann08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Schumann08
Andrew Schumann:
Non-Archimedean fuzzy and probability logic. 29-48
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/MendezR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/MendezR08
José M. Méndez, Gemma Robles:
Relevance logics and intuitionistic negation. 49-65
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Hussak08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Hussak08
Walter Hussak:
The serializability problem for a temporal logic of transaction queries. 67-78
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Majkic08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Majkic08
Zoran Majkic:
Autoreferential semantics for many-valued modal logics. 79-125

Volume 18, Numbers 2-3, 2008

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Balbiani08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Balbiani08
Philippe Balbiani:
Hyper arrow logic with indiscernibility and complementarity. 137-152
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/BenthemB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/BenthemB08
Johan van Benthem, Denis Bonnay:
Modal logic and invariance. 153-173
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/ConradieG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/ConradieG08
Willem Conradie, Valentin Goranko:
Algorithmic correspondence and completeness in modal logic. 175-211
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/DuntschO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/DuntschO08
Ivo Düntsch, Ewa Orlowska:
A discrete duality between apartness algebras and apartness frames. 213-227
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/GeorgievT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/GeorgievT08
G. Georgiev, Tinko Tinchev:
Second-order logic on equivalence relations. 229-246
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Pratt-Hartmann08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Pratt-Hartmann08
Ian Pratt-Hartmann:
Conditionalization and total knowledge. 247-266
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Rybakov08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Rybakov08
Mikhail N. Rybakov:
Complexity of intuitionistic propositional logic and its fragments. 267-292
- view
  - electronic edition @ e-revues.com
  - no references & citations available
- export record
  dblp key:
  - journals/jancl/Rybakov08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Rybakov08a
Vladimir V. Rybakov:
Temporal logic with interacting agents. 293-308
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Sotirov08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Sotirov08
V. Sotirov:
Non-classical operations hidden in classical logic. 309-324
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Szalas08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Szalas08
Andrzej Szalas:
Towards incorporating background theories into quantifier elimination. 325-340
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Wansing08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Wansing08
Heinrich Wansing:
Constructive negation, implication, and co-implication. 341-364

a service of

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.