| 2003 |
|---|
| 7 | EE | Sasa Buvac:
A Deduction Theorem for Normal Modal Propositional Logic.
CONTEXT 2003: 107-115 |
| 1998 |
|---|
| 6 | | Sasa Buvac,
Megumi Kameyama:
Introduction: Toward a Unified Theory of Context?
Journal of Logic, Language and Information 7(1): 1 (1998) |
| 1996 |
|---|
| 5 | | Sasa Buvac:
Quantificational Logic of Context.
AAAI/IAAI, Vol. 1 1996: 600-606 |
| 1995 |
|---|
| 4 | EE | Sasa Buvac,
Richard Fikes:
A Declarative Formalization of Knowledge Translation.
CIKM 1995: 340-347 |
| 3 | | Sasa Buvac,
Vanja Buvac,
Ian A. Mason:
Metamathematics of Contexts.
Fundam. Inform. 23(2/3/4): 263-301 (1995) |
| 1994 |
|---|
| 2 | | Sasa Buvac,
Vanja Buvac,
Ian A. Mason:
The Semantics of Propositional Contexts.
ISMIS 1994: 468-477 |
| 1993 |
|---|
| 1 | | Sasa Buvac,
Ian A. Mason:
Propositional Logic of Context.
AAAI 1993: 412-419 |
