Journal of Applied Non-Classical Logics, Volume 2

Volume 2, Number 1, 1992

Patrick Doherty, Witold Lukaszewicz: NML3. A Non-Monotonic Logic with Explicit Defaults. BibTeX
Walter Alexandre Carnielli, Mamede Lima-Marques: Reasoning under Inconsistent Knowledge. BibTeX
Wiebe van der Hoek: On the Semantics of Graded Modalities. BibTeX

Stephan Merz: Decidability and incompleteness results for first-order temporal logics of linear time. BibTeX
Bernd-Holger Schlingloff: Expressive completeness of temporal logic of trees. BibTeX
Alfredo Burrieza, Inman P. de Guzmán: A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time. BibTeX
Marcelo Finger: Handling database updates in two-dimensional temporal logic. BibTeX
Gerson Zaverucha: Relevant logic as a basis for paraconsistent epistemic logics. BibTeX
Chris Brink: A comment on relevant truth table logic. BibTeX