The SCEAS System
Navigation Menu

Journals in DBLP

Journal of Applied Non-Classical Logics
2003, volume: 13, number: 3-4

  1. Philippe Balbiani, Dimiter Vakarelov
    PDL with Intersection of Programs: A Complete Axiomatization. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2003, v:13, n:3-4, pp:231-276 [Journal]
  2. Cristina Sernadas, Luca Viganò, João Rasga, Amílcar Sernadas
    Truth-values as Labels: A General Recipe for Labelled Deduction. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2003, v:13, n:3-4, pp:277-315 [Journal]
  3. Ofer Arieli
    Reasoning with Different Levels of Uncertainty. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2003, v:13, n:3-4, pp:317-343 [Journal]
  4. Xavier Parent
    Remedial Interchange, Contrary-to-Duty Obligation and Commutation. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2003, v:13, n:3-4, pp:345-375 [Journal]
  5. Karim Nour, Abir Nour
    Propositional mixed logic: its syntax and semantics. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2003, v:13, n:3-4, pp:377-390 [Journal]
  6. Zofia Kostrzycka
    On the Density of Truth of Implicational Parts of Intuitionistic and Classical Logics. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2003, v:13, n:3-4, pp:391-421 [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