<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Philosophical logic Model theory Modal logic Non-monotonic logic Kripke semantics Temporal logic Intermediate logic Proof theory First-order logic Logic Mathematical logic Non-classical logic |
|
| First Page | Document Content | |
|---|---|---|
Philosophical logic Model theory Modal logic Non-monotonic logic Kripke semantics Temporal logic Intermediate logic Proof theory First-order logic Logic Mathematical logic Non-classical logic |
|
Gabbay Publications Chronological Publications List