A constructive approach to state description semantics

Journal of Applied Logic

Volumn 1, Issue 1-2, 2003, Pages 13-46

  Holm, Ruurik ^a  

^a UNIVERSITY OF HELSINKI   (Finland)

Author keywords

Carnap; Choice sequences; Constructive logic; Martin L f; Modal logic; Possible worlds; Quantification

Indexed keywords

FORMAL LOGIC; PROBLEM SOLVING; PROGRAM INTERPRETERS; THEORY;

CARNAP; CHOICE SEQUENCE; CONSTRUCTIVE LOGIC; MARTIN-LÖF; MODAL LOGIC; POSSIBLE WORLDS; QUANTIFICATION;

SEMANTICS;

EID: 23844441329     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1570-8683(03)00003-X     Document Type: Article

References (19)

1. R. Carnap, Modalities and quantification, J. Symbolic Logic 11 (1946) 33-64.
2. R. Carnap, Meaning and Necessity, The University of Chicago Press, Chicago, 1947.
3. N. Cocchiarella, On the primary and secondary semantics of logical necessity, J. Philos. Logic 4 (1975) 13-27.
4. M.J. Cresswell, In defence of the Barcan formula, Logique et Anal. (1991) 135-136, 271-282.
5. D. van Dalen, Intuitionistic logic, in: D. Gabbay, F. Guenthner (Eds.), Handbook of Philosophical Logic, Vol. III, D. Reidel, Dordrecht, 1986.
6. M. Dummett, Elements of Intuitionism, Oxford University Press, Oxford, 1977.
7. J. Hintikka, Form and content in quantification theory, Acta Philos. Fennica 8 (1955) 11-55.
8. J. Hintikka, Is alethic modal logic possible?, Acta Philos. Fennica 35 (1982) 89-105.
9. S. Kripke, Semantical considerations on modal logic, Acta Philos. Fennica 16 (1963) 83-94.
10. H. Leblanc, Alternatives to standard first-order semantics, in: D. Gabbay, F. Guenthner (Eds.), Handbook of Philosophical Logic, Vol. I, 1983, pp. 189-274.
11. L. Magnusson, The implementation of ALF-a proof editor on Martin-Löfs monomorphic type theory with explicit substitution, A Dissertation, Department of Computing Science, Chalmers University of Technology, 1994.
12. P. Martin-Löf, Constructive mathematics and computer programming, in: L.J. Cohen, J. Los, H. Pfeiffer, K.P. Podewski (Eds.), Logic, Methodology and Philosophy of Science, Vol. VI, North-Holland, Amsterdam, 1982.
13. P. Martin-Löf, Intuitionistic Type Theory, Bibliopolis, Napoli, 1984.
14. P. Martin-Löf, Mathematics of Infinity, in: Lecture Notes in Computer Science, Vol. 417, Springer-Verlag, 1990, pp. 146-197.
15. P. Martin-Löf, An intuitionistic theory of types, in: G. Sambin, J. Smith (Eds.), Twenty-five Years of Constructive Type Theory, Oxford University Press, 1997, pp. 127-172.
16. A. Ranta, Intuitionistic categorial grammar, Linguistics and Philosophy 14 (1991) 203-239.
17. A. Ranta, Type-Theoretical Grammar, Clarendon Press, Oxford, 1994.
18. S. Thompson, Type Theory and Functional Programming, Addison-Wesley, Reading, MA, 1991.
19. A. Troelstra, Choice Sequences. A Chapter of Intuitionistic Mathematics, Oxford University Press, Oxford, 1977.