Volume 10; Issue 3-4

Journal of Applied Non-Classical Logics

Volume 10; Issue 3-4
1

A framework for iterated revision

Konieczny, Sébastien, Pérez, Ramón Pino
Journal:
Journal of Applied Non-Classical Logics
Year:
2000
Language:
english
File:
PDF, 1.41 MB
english, 2000
3

Editorial Board

Journal:
Journal of Applied Non-Classical Logics
Year:
2000
Language:
english
File:
PDF, 88 KB
english, 2000
5

Table of journals 2001 HERMES Science Publications—Paris et Oxford

Journal:
Journal of Applied Non-Classical Logics
Year:
2000
Language:
english
File:
PDF, 67 KB
english, 2000
6

Unification and Passive Inference Rules for Modal Logics

Rybakov, V. V., Terziler, M., Gencer, C.
Journal:
Journal of Applied Non-Classical Logics
Year:
2000
Language:
english
File:
PDF, 487 KB
english, 2000
7

A multimodal logic for reasoning about complementarity

Düntsch, Ivo, Konikowska, Beata
Journal:
Journal of Applied Non-Classical Logics
Year:
2000
Language:
english
File:
PDF, 1.22 MB
english, 2000
8

On representability of neatly embeddable cylindric algebras

Ferenczi, Miklós
Journal:
Journal of Applied Non-Classical Logics
Year:
2000
Language:
english
File:
PDF, 642 KB
english, 2000
9

Temporal Logics with Reference Pointers and Computation Tree Logics

Goranko, Valentin
Journal:
Journal of Applied Non-Classical Logics
Year:
2000
Language:
english
File:
PDF, 1.02 MB
english, 2000