Opening book details…
About this Computer Science article
S. K. Thomason. Noncompactness in propositional modal logic. The journal of symbolic logic, vol. 37 no. 4 (for 1972, pub. 1973), pp. 716–720. - Kit Fine. An incomplete logic containing S4. Theoria, vol. 40 (1974), pp. 23–29. - S. K. Thomason. An incompleteness theorem in modal logic. Theoria, vol. 40 (1974), pp. 30–34. - Martin Gerson. The inadequacy of the neighbourhood semantics for modal… by Bull, R. A. is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Bull, R. A.
- Publisher
- Association for Symbolic Logic; Cambridge University Press; Cambridge University Press (CUP) (ISSN 0022-4812)
- Published
- 1983
- Field
- Computer Science (Physical Sciences)