You are here: Johan : Publications : Papers, To
Appear
12 | Information Transfer across Chu Spaces a model-theoretic preservation analysis of one central category-theoretic account of action and information.
|
|
11 | Invariance and Definability: two faces of logical constants. Draft.
J. Barwise, W. Sieg and R. Sommer, eds., Festschrift for Sol Feferman. |
|
10 | When are Two Games the Same?
G. Bonanno et al., eds., Games and Economic Theory (Proceedings LOFT-3, Torino). |
|
9 | Reasoning in Reverse
Preface to P. Flach and A. Kakas, eds., Abductive and Inductive Reasoning, Kluwer, Dordrecht. |
|
8 | Interpolation, Preservation, and Pebble Games
[With Jon Barwise.] To appear in the Journal of Symbolic Logic. |
|
7 | Collected Papers
CSLI Publications, Stanford University. |
|
6 | Correspondence Theory
Reprint with Addenda, Handbook of Philosophical Logic II, Kluwer.
|
|
5 | Higher-Order Logic
Reprint with Addenda, Handbook of Philosophical Logic II, Kluwer.
[With Kees Doets.] |
|
4 | The Range of Modal Logic
Dimiter Vakarelov, ed., Journal of Applied Non-Classical Logics.
Memorial Issue for George Gargov. |
|
3 | Logical Constants, Computation, and Simulation
Invariance
Logica 98 Yearbook, Institute of Philosophy, Czech Academy of Sciences.
|
|
2 | Categorial Grammar and Dynamic Logic
M. Abrusci & C. Casadio, eds., Dynamic Perspectives in Logic and Linguistics, CLUEB, Bologna.
|
|
1 | Modal Logic in Two Gestalts
in M. Zakharyashev et al., eds.,
Proceedings AiML-II, Uppsala 1998. |
|
|
| |
|