Synonymous logics

Journal of Philosophical Logic

Volumn 32, Issue 3, 2003, Pages 259-285

  Pelletier, Francis Jeffry ^a   Urquhart, Alasdair ^b  

^a UNIVERSITY OF ALBERTA   (Canada)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

Modal logic; Synonymy; Translation

Indexed keywords

EID: 38349174887     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1024248828122     Document Type: Article

References (33)

1. Birkhoff, G. (1967): Lattice Theory, Amer. Math. Soc. Colloq. Publ. 25.
2. Chellas, B. F. (1980): Modal Logic: An Introduction, Cambridge University Press, Cambridge.
3. Czelakowski, J. (1980): Equivalential logics I, II, Studia Logica 40, 227-236, 335-372.
4. Da Silva, J., D'Ottaviano, M., and Sette, A. (1999): Translations between logics, in X. Casedo and C. Montenegro (eds), Models, Algebras and Proofs, Marcel Dekker, New York, pp. 435-448.
5. De Bouvère, K. (1965): Synonymous theories, in J. Addison, L. Henkin and A. Tarski (eds), Symposium on the Theory of Models, North-Holland, pp. 402-406.
6. Epstein, R. (1990): The Semantic Foundations of Logic. Vol. 1: Propositional Logics, Kluwer Academic Publishers, Dordrecht.
7. Hughes, G. and Cresswell, M. (1996): A New Introduction to Modal Logic, Routledge.
8. Jónsson, B. and Tarski, A. (1951): Boolean algebras with operators. Part I, Amer. J. Math. 73, 891-939.
9. Jónsson, B. and Tarski, A. (1952): Boolean algebras with operators. Part II, Amer. J. Math. 74, 127-162.
10. Kanger, S. (1968): Equivalent theories, Theoria 34, 1-6.
11. Kirk, R. (1982): On three alleged rivals to homophonic translation, Philos. Stud. 42, 409-418.
12. Kleene, S. (1952): Introduction to Metamathematics, Van Nostrand, Princeton.
13. Krajíček, J. (1996): Bounded Arithmetic, Propositional Logic and Complexity Theory, Cambridge University Press.
14. Kuhn, S. T. (1977): Many-sorted Modal Logics, Uppsala University Filosofiska Studier Number 29.
15. Lenzen, W. (1979): Epistemologische Betrachtungen zu [S4,S5], Erkenntnis 14, 33-56.
16. Massey, G. (1978): Indeterminacy, inscrutability, and ontological relativity, in Studies in Ontology, Amer. Philosophical Quarterly Monograph Ser. 9, Basil Blackwell.
17. McKinsey, J. and Tarski, A. (1948): Some theorems about the sentential calculi of Lewis and Heyting, J. Symbolic Logic 13, 1-15.
18. Montague, R. M. (1957): Contributions to the axiomatic foundations of set theory, PhD thesis, University of California, Berkeley.
19. Pelletier, F. J. (1984a): The not-so-strange modal logic of indeterminacy, Logique et Anal. 108, 415-422.
20. Pelletier, F. J. (1984b): Six problems in "translational equivalence", Logique et Anal. 108, 423-434.
21. Pollard, S. (1998): Homeomorphism and the equivalence of logical systems, Notre Dame J. Formal Logic 39, 422-435.
22. Prawitz, D. and Malmnäs (1968): A survey of some connections between classical, intuitionistic and minimal logic, in H. Schmidt, K. Schütte and H.-J. Thiele (eds), Contributions to Mathematical Logic, North-Holland, pp. 215-229.
23. Prior, A. (1967): Past, Present and Future, Oxford University Press.
24. Prucnal, T. and Wroński, A. (1974): An algebraic characterization of the notion of structural completeness, Bull. Sec. Logic Polish Acad. Sci. 3, 45-52.
25. Quine, W. (1960): Word and Object, MIT Press.
26. Segerberg, K. (1982): Classical Propositional Operators, Clarendon Press, Oxford.
27. Sobociński, B. (1964): Modal system S4.4, Notre Dame J. Formal Logic 5, 305-312.
28. Thomason, S. (1974): Reduction of tense logic to modal logic I, J. Symbolic Logic 39, 549-551.
29. Thomason, S. (1975): Reduction of tense logic to modal logic II, Theoria 3, 154-169.
30. Troelstra, A. S. and van Dalen, D. (1988): Constructivism in Mathematics: An Introduction, North-Holland, Amsterdam.
31. White, N. (ed.) (1986): Theory of Matroids, Cambridge University Press.
32. Wójcicki, R. (1988): Theory of Logical Calculi, Kluwer Academic Publishers, Dordrecht.
33. Zeman, J. J. (1971): A study of some systems in the neighbourhood of S4.4, Notre Dame J. Formal Logic 12, 341-357.