Volume 8; Issue 2

1

A Logic with Relative Knowledge Operators

Year:
1999
Language:
english
File:
PDF, 144 KB
english, 1999
2

Dynamic Negation, the One and Only

Year:
1999
Language:
english
File:
PDF, 34 KB
english, 1999
3

Splitting Finite Default Theories: A Comparison of Two Approaches

Year:
1999
Language:
english
File:
PDF, 76 KB
english, 1999
4

Uniqueness of Normal Proofs in Implicational Intuitionistic Logic

Year:
1999
Language:
english
File:
PDF, 121 KB
english, 1999
5

Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics

Year:
1999
Language:
english
File:
PDF, 103 KB
english, 1999
6

Modal Logic, Alexander Chagrov and Michael Zakharyaschev

Year:
1999
Language:
english
File:
PDF, 34 KB
english, 1999
7

Basic Model Theory, Kees Doets

Year:
1999
Language:
english
File:
PDF, 21 KB
english, 1999
9

Partiality, Modality, and Nonmonotonicity, Patrick Doherty, ed.

Year:
1999
Language:
english
File:
PDF, 28 KB
english, 1999
10

An Extended Branching-Time Ockhamist Temporal Logic

Year:
1999
Language:
english
File:
PDF, 134 KB
english, 1999
11

Note from the Editor

Year:
1999
File:
PDF, 5 KB
1999
12

Upcoming Themes

Year:
1999
File:
PDF, 7 KB
1999
13

Editorial

Year:
1999
Language:
english
File:
PDF, 12 KB
english, 1999
14

An Extended Branching-Time Ockhamist Temporal Logic

Year:
1999
Language:
english
File:
PDF, 2.16 MB
english, 1999
15

Partiality, Modality, and Nonmonotonicityby Patrick Doherty

Year:
1999
Language:
english
File:
PDF, 626 KB
english, 1999
16

Uniqueness of Normal Proofs in Implicational Intuitionistic Logic

Year:
1999
Language:
english
File:
PDF, 1.90 MB
english, 1999
18

Splitting Finite Default Theories: A Comparison of Two Approaches

Year:
1999
Language:
english
File:
PDF, 1.15 MB
english, 1999
19

Back Matter

Year:
1999
Language:
english
File:
PDF, 166 KB
english, 1999
20

Modal Logicby Alexander Chagrov; Michael Zakharyaschev

Year:
1999
Language:
english
File:
PDF, 666 KB
english, 1999
21

Editorial

Year:
1999
Language:
english
File:
PDF, 407 KB
english, 1999
22

Note from the Editor

Year:
1999
Language:
english
File:
PDF, 202 KB
english, 1999
23

Front Matter

Year:
1999
Language:
english
File:
PDF, 281 KB
english, 1999
24

Dynamic Negation, the One and Only

Year:
1999
Language:
english
File:
PDF, 481 KB
english, 1999
25

A Logic with Relative Knowledge Operators

Year:
1999
Language:
english
File:
PDF, 1.80 MB
english, 1999