The SCEAS System
Navigation Menu

Journals in DBLP

Journal of Applied Non-Classical Logics
2000, volume: 10, number: 3-4

  1. Miklós Ferenczi
    On representability of neatly embeddable cylindric algebras. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2000, v:10, n:3-4, pp:- [Journal]
  2. Guido Vanackere
    HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2000, v:10, n:3-4, pp:- [Journal]
  3. Valentin Goranko
    Temporal logics with reference pointers and computation tree logics. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2000, v:10, n:3-4, pp:- [Journal]
  4. Inman P. de Guzmán, Manuel Enciso, Pablo Cordero
    A temporal negative normal form which preserves implicants and implicates. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2000, v:10, n:3-4, pp:- [Journal]
  5. Sébastien Konieczny, Ramón Pino Pérez
    A framework for iterated revision. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2000, v:10, n:3-4, pp:- [Journal]
  6. Ivo Düntsch, Beata Konikowska
    A multimodal logic for reasoning about complementarity. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2000, v:10, n:3-4, pp:- [Journal]
  7. Pieter Hendrik Rodenburg
    A complete system of four-valued logic. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2000, v:10, n:3-4, pp:- [Journal]
  8. Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer
    Unification and passive inference rules for modal logics. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2000, v:10, n:3-4, pp:- [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002