Logically Possible Worlds and Counterpart Semantics for Modal Logic

Philosophy of Logic

Volumn , Issue , 2007, Pages 943-995

  Kracht, Marcus ^a   Kutz, Oliver ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84882849128     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1016/B978-044451541-4/50025-7     Document Type: Chapter

References (213)

1. Alchourrón C., Gärdenfors P., Makinson D. On the logic of theory change. Journal of Symbolic Logic 1985, 50:510-530.
2. Anderson A.R., Belnap N.D. Entailment: The Logic of Relevance and Necessity 1975, Vol 1. Princeton University Press.
3. Anderson A.R., Belnap N.D., Dunn M.J. Entailment: The Logic of Relevance and Necessity 1992, Vol 2. Princeton University Press, translated, with introduction, notes, and commentary, by Robin Smith.
4. Aristotle Prior Analytics 1989, Hackett Publishing Company, Indianapolis/ Cambridge.
5. Armstrong D.M. A Combinatorial Theory of Possibility 1989, Cambridge University Press, Cambridge.
6. Balashov Y.V. Enduring and perduring objects in Minkowski space-time. Philosophical Studies 2000, 99:129-166.
7. Balashov Y.V. Persistence and space-time: philosophical lessons of the pole and barn. The Monist 2000, 83(3):321-340.
8. Barcan R.C. A functional calculus of first order based on srict implication. Journal of Symbolic Logic 1946, 11:1-16.
9. Barwise J., Perry J. Situations and Attitudes 1983, MIT Press, Cambridge (Massachussetts).
10. Barwise J., Perry J. Shifting situations and shaken attitudes. Linguistics and Philosophy 1985, 8:103-161.
11. Bauer S., Wansing H. Consequence, counterparts and substitution. The Monist 2002, 85(4):483-497.
12. Bauer S. Metaframes, Typen und Modelle der modalen Prädikatenlogik. Master's thesis 2000, Fachbereich Mathematik, Humboldt-Universität zu Berlin.
13. Becker O. Zur Rekonstruktion des Kyrieuon Logos des Diodoros Kronos. Erkenntnis und Verantwortung: Festschrift für Theodor Litt zum 80. Geburtstag 1960, 250-263. Düsseldorf. J. Derbolav, F. Nicolin (Eds.).
14. Handbook of Modal Logic 2006, Elsevier, Amsterdam. J. van Benthem, P. Blackburn, F. Wolter (Eds.).
15. van Benthem J. Modal and Classical Logic 1983, Bibliopolis.
16. van Benthem J Essays in Logical Semantics 1986, D. Reidel Publishing Company, Dordrecht.
17. Bigaj T. Three-valued logic, indeterminism, and quantum mechanics. Journal of Philosophical Logic 2001, 30:97-119.
18. Blackburn P. Nominal tense logic. Notre Dame Journal of Formal Logic 1993, 39:56-83.
19. Bocheński J.M. Formale Logik 2002, 5th edition, first edition 1956, english translation by Ivo Thomas, Verlag Karl Alber, Freiburg, München.
20. Bocheński J.M. A History of Formal Logic 1961, University of Notre Dame Press.
21. Braüner T., Ghilardi S. First-order modal logic. Handbook of Modal Logic 2006, Elsevier, Amsterdam. J. van Benthem, P. Blackburn, F. Wolter (Eds.).
22. Brink C., Rewitzki I. Three dual ontologies. Journal of Philosophical Logic 2002, 31:543-568.
23. Brouwer L.E.J. Over de Grondslagen der Wiskunde. PhD thesis 1907, Amsterdam.
24. Brouwer L.E.J. On the foundation of mathematics. Brouwer, Collected Works, I 1975, 11-101. North-Holland, Amsterdam. A. Heyting (Ed.).
25. Brouwer L.E.J. De onbetrouwbaarheid der logische principes. Tijdschrift voor Wijsbegeerte 1908, 2:152-158.
26. Brouwer L.E.J. De onbetrouwbaarheid der logische principes. Tijdschrift voor Wijsbegeerte 1908, 2:107-111.
27. Brown M.A. On the logic of ability. Journal of Philosophical Logic 1988, 17:1-26.
28. Bull R.A. On possible worlds in propositional calculus. Theoria 1968, 34:171-182.
29. Burgess J.P. The unreal future. Theoria 1978, 44:157-179.
30. Burgess J.P. Logic and time. Journal of Symbolic Logic 1979, 44:566-582.
31. Carnap R. Modalities and quantification. Journal of Symbolic Logic 1946, 11:33-64.
32. Carnap R. Meaning and Necessity. A Study in Semantics and Modal Logic 1947, The University of Chicago Press, Chicago.
33. Chagrov A., Zakharyaschev M. Modal Logic 1997, Oxford University Press, Oxford.
34. Chihara C. The Worlds of Possibility. Modal Realism and the Semantics of Modal Logic 1998, Clarendon Press, Oxford.
35. Church A. A formulation of the logic of sense and denotation. Structure, Method and Meaning: Essays in Honor of H. M. Sheffer 1951, 3-24. The Liberal Arts Press, New York. P. Henle, H.M. Kallen, S.K. Langer (Eds.).
36. Cocchiarella N.B. On the primary and secondary semantics of logical necessity. Journal of Philosophical Logic 1975, 4(1):13-18.
37. Cocchiarella N.B. Logical necessity based on Carnap's criterion of adequacy. Korean Journal of Logic 2002, 5(2):1-21.
38. Copeland J. The genesis of possible worlds semantics. Journal of Philosophical Logic 2002, 31(2):99-137.
39. Cresswell M.J. How to complete some modal predicate logics. Advances in Modal Logic 2001, Volume 2. Stanford, CSLI Publications. M. Zakharyaschev (Ed.).
40. Czelakowski J. Protoalgebraic Logics 2001, Number 10 in Trends in Logic, Kluwer.
41. Costa N.C.A.Da, Krause D. An intensional Schrödinger logic. Notre Dame Journal of Formal Logic 1997, 38(2):179-195.
42. Divers J. Possible Worlds. The Problems of Philosophy 2002, Routledge, London and New York.
43. Dowty D. Towards a semantic analysis of verb aspect and the English "imperfective progressive". Linguistics and Philosophy 1977, 1:54-78.
44. Earman J., Norton J. What price space-time substantivalism? The hole story. British Journal for the Philosophy of Science 1987, 38:515-525.
45. Everett H. The theory of the universal wave function. PhD thesis 1956, Princeton University.
46. Fara M., Williamson T. Counterparts and actuality. Mind 2005, 114:1-30.
47. Feldman F. Counterparts. The Journal of Philosophy 1971, 68:406-409.
48. Fine K., Schurz G. Transfer theorems for stratified modal logics. Proceedings of the Arthur Prior Memorial Conference 1991, Christchurch, New Zealand.
49. Fine K. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium 1975, 15-31. North-Holland. S. Kanger (Ed.).
50. Fine K. Properties, propositions, and sets. Journal of Philosophical Logic 1977, 6:135-191.
51. Fine K. Model theory for modal logic. Part III: existence and predication. Journal of Philosophical Logic 1981, 10:293-307.
52. Fine K. Senses of essence. Sinnott-Armstrong 1995, 53-73.
53. Fitting M., Mendelsohn R.L. First-Order Modal Logic 1998, Kluwer Academic Publishers, Dordrecht.
54. Fitting M. On quantified modal logic. Fundamenta Informaticae 1999, 39(1-2):105-121.
55. Fitting M. Modal logics between propositional and first-order. Journal of Logic and Computation 2002, 12:1017-1026.
56. Fitting M. Types, Tableaus and Gödel's God. Trends in Logic 2002, volume 12. Kluwer Academic Publishers, Dordrecht.
57. Fitting M. First-order intensional logic. Journal of Pure and Applied Logic 2003, Special Issue. D. Niwinski, J. Wolenski (Eds.).
58. Forbes G. Canonical counterpart theory. Analysis 1982, 42:33-37.
59. Forbes G. The Metaphysics of Modality 1985, Oxford Clarendon Press, Oxford.
60. Fraassen B.C.van Hidden variables in conditional logic. Theoria 1974, 40:176-190.
61. Gabbay D.M. A general theory of the conditional in terms of a ternary operator. Theoria 1972, 38:97-104.
62. Gabbay D., Shehtman V. Undecidability of modal and intermediate first-order logics with two individual variables. Journal of Symbolic Logic 1993, 58:800-823.
63. Gabbay D., Kurucz A., Wolter F., Zakharyaschev M. Many- Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics 2003, Elsevier Science Publishers, Amsterdam.
64. Gallin D. Intensional and Higher-Order Modal Logic 1975, North-Holland, Amsterdam.
65. Garson J.W. Applications of Free Logic to Quantified Intensional Logic. Philosophical Applications of Free Logic 1991, 111-144. Oxford University Press, New York, Oxford. K. Lambert (Ed.).
66. Gerson M. An extension of S4 complete for neighbourhood semantics but incomplete for relational semantics. Studia Logica 1975, 34:333-342.
67. Gerson M. The inadequacy of neighborhood semantics for modal logics. Journal of Symbolic Logic 1975, 40(2):141-147.
68. Ghilardi S. Presheaf semantics and independence results for some non-classical first-order logics. Archiv für mathematische Logik 1991, 29:125-136.
69. Ghilardi S Quantified extensions of canonical propositional intermediate logics. Studia Logica 1992, 51:195-214.
70. Girard J.-Y. Linear logic. Theoretical Computer Science 1987, 50:1-102.
71. Gödel K. Zum intuitionistischen Aussagenkalkül. Anzeiger der Akademie der Wissenschaften in Wien 1932, 69:65-66.
72. K.Gödel Eine Interpretation des intuitionistischen Aussagenkalküls. Ergebnisse eines mathematischen Kolloquiums 1933, 4:39-40.
73. Gödel K. Ontological proof. Kurt Gödel Collected Works, Volume III, Unpublished Essays and Lectures 1995, 403-404. Oxford University Press, New York. S. Feferman,, J. W. Dawson, W. Goldfarb, C. Parsons, R. N. Solovay (Eds.).
74. Goldblatt R.I. Diodorean modality in Minkowski spacetime. Studia Logica 1980, 39:219-236.
75. Goldblatt R.I. Logics of Time and Computation. Studies in Logic, Language and Information 1992, CSLI, Stanford. second edition.
76. Goldblatt R.I. Mathematical modal logic: A view of its evolution. Journal of Applied Logic 2003, 1:309-392.
77. Hazen A. Expressive completeness in modal languages. Journal of Philosophcal Logic 1976, 5:25-46.
78. Hazen A. Counterpart-theoretic semantics for modal logic. The Journal of Philosophy 1979, 76:319-338.
79. Henkin L. Completeness in the Theory of Types. Journal of Symbolic Logic 1950, 15:81-91.
80. Heyting A. Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften 1930, 42-56.
81. Hintikka J. Knowledge and Belief. An Introduction into the logic of the two notions 1962, Cornell University Press, Ithaca.
82. Hintikka J. Aristotle and the 'Master Argument' of Diodorus. American Philosophical Quarterly 1964, 1:101-114.
83. Hintikka J. Existential presuppositions and their elimination. Models for Modalities. Selected Essays 1969, 23-44. D. Reidel Publishing Company, Dordrecht.
84. Hodes H. Axioms for actuality. Journal of Philosophical Logic 1984, 13:27-34.
85. Hodes H. Some theorems on the expressive limitations of modal languages. Journal of Philosophical Logic 1984, 13:13-26.
86. Hodes H. Individual actualism and three valued modal logics. Part I: modeltheoretic semantics. Journal of Philosophical Logic 1986, 15:369-401.
87. Holton R. David Lewis's philosophy of language. Mind & Language 2003, 18(3):286-295.
88. Hughes G.E., Cresswell M.J. A New Introduction to Modal Logic 1996, Routledge, London.
89. Humberstone L. From worlds to possibilities. Journal of Philosophical Logic 1981, 10:313-339.
90. Jackson F. Metaphysics by possible cases. Mind, Method, and Conditionals: Selected Essays 1998, 133-153. Routledge.
91. Johnston M. Is there a problem about persistence?. Aristotelean Society Supp. 1987, 61:107-135.
92. Jónsson B., Tarski A. Boolean algebras with operators. American Journal of Mathematics 1951, 73:891-939.
93. Kaplan D. How to Russell a Frege-Church. Journal of Philosophy 1975, 72:716-729.
94. Loux How to Russell a Frege-Church. Journal of Philosophy 1979, 72:716-729.
95. Kneale W., Kneale M. The Development of Logic 1984, paperback edition, first edition 1962, Clarendon Press, Oxford.
96. Konyndyk K. Introduction to Modal Logic 1986, University of Notre Dame Press, Notre Dame, Indiana.
97. Kracht M., Kutz O. The semantics of modal predicate logic I. counterpart-frames. Advances in Modal Logic 2002, Volume 3. World Scientific Publishing Company. F. Wolter, H. Wansing, M. de Rijke, M. Zakharyaschev (Eds.).
98. Kracht M., Kutz O. The semantics of modal predicate logic II. Modal individuals revisited. ASL Lecture Notes in Logic 2005, volume 22:60-97. Intensionality, A. K. Peters, Los Angeles. R. Kahle (Ed.).
99. Kracht M., Wolter F. Properties of independently axiomatizable bimodal logics. Journal of Symbolic Logic 1991, 56:1469-1485.
100. Kracht M., Wolter F. Normal monomodal logics can simulate all others. Journal of Symbolic Logic 1999, 64:99-138.
101. Kracht M. Tools and Techniques in Modal Logic. Studies in Logic 1999, Number 142, Elsevier, Amsterdam.
102. Kracht M. Notes on substitution in first-order logic. First-Order Logic 75 2004, 155-172. Berlin, Logos Verlag. U. Scheffer (Ed.).
103. Kracht M. Modal consequence relations. Handbook of Modal Logic 2006, Elsevier, Amsterdam. J. van Benthem, P. Blackburn, F. Wolter (Eds.).
104. Kratzer A. An investigation into the lumps of thought. Linguistics and Philosophy 1989, 12:607-653.
105. Kripke S.A. A completeness theorem in modal logic. Journal of Symbolic Logic 1959, 24(1):1-14.
106. Kripke S.A. The undecidability of monadic modal quantificational theory. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1962, 8:113-116.
107. Kripke S.A. Semantical considerations on modal logic. Acta Philosophica Fennica 1963, 16:83-94.
108. Kripke S.A. Naming and necessity. Semantics of Natural Language 1972, 243-355. number 40 in Synthese Library, Reidel, Dordrecht. G. Harman, D. Davidson (Eds.).
109. Kripke S.A. A puzzle about belief. Meaning and Use 1979, 239-283. D. Reidel Publishing Co., Dordrecht, Boston. A. Margalit (Ed.).
110. Kutz O., Sturm H., Suzuki N.-Y., Wolter F., Zakharyaschev M. Logics of metric spaces. ACM Transactions on Computational Logic (TOCL) 2003, 4(2):260-294.
111. Kutz O., Lutz C., Wolter F., Zakharyaschev M. E-Connections of abstract description systems. Artificial Intelligence 2004, 156(1):1-73.
112. Kutz O. Kripke-Typ Semantiken für die modale Prädikatenlogik. Master's thesis 2000, Fachbereich Mathematik, Humboldt-Universität zu Berlin.
113. Kutz O. New semantics for modal predicate logics. Trends in Logic 2003, volume 17:151-162. Dordrecht, Boston, London, Kluwer Academic Publishers. B. Löwe, W. Malzkorn, T. Räsch (Eds.).
114. Kutz O. E-Connections and Logics of Distance. PhD thesis 2004, The University of Liverpool.
115. Lambert K. Existential import revisited. Notre Dame Journal of Formal Logic 1963, 4:288-292.
116. Lambert K. Free Logics: Their Foundations, Character, and Some Applications Thereof 1997, Academia Verlag, Sankt Augustin.
117. Lawvere F.W. Adjointness in foundations. Dialectica 1969, 23(3/4):281-296.
118. Lewis C.I., Langford C.H. Symbolic Logic 1932, Appleton-Century- Crofts, New York.
119. Lewis C.I. A Survey of Symbolic Logic 1918, University of California Press, Berkeley.
120. Lewis C.I. Strict implication-an emendation. Journal of Philosophy, Psychology, and Scientific Methods 1920, 17:300-302.
121. Lewis D.K. Counterpart theory and quantified modal logic. Journal of Philosophy 1979, Vol. 65:113-126. M. J. Loux (Ed.).
122. K.Lewis David Philosophical papers 1 1983, Oxford, 1968.
123. Lewis D.K. Completeness and decidability of three logics of counterfactual conditionals. Theoria 1971, 36:74-85.
124. Lewis D.K. Counterfactuals 1973, Blackwell, Oxford.
125. Lewis D.K. On the Plurality of Worlds 1986, Blackwell.
126. Leyton M. Symmetry, Causality, Mind 1992, MIT Press, Cambridge (Mass.).
127. Lindström S., Segerberg K. Modal logic and philosophy. Handbook of Modal Logic 2006, Elsevier, Amsterdam. J. van Benthem, P. Blackburn, F. Wolter (Eds.).
128. Reference and Modality 1971, Oxford University Press, Oxford. L. Linsky (Ed.).
129. The Possible and the Actual: Readings in the Metaphysics of Modality 1979, Cornell University Press, Ithaca and London. M.J. Loux (Ed.).
130. Löwenheim L. Über Möglichkeiten im Relativkalkül. Mathematische Annalen 1915, 76:447-470.
131. Lukasiewicz J. Aristotle's Syllogistic from the Standpoint of Modern Formal Logic 1957, Oxford University Press, Oxford. 2nd edition.
132. Barcan Marcus R., Quine W.V., Kripke S., Føllesdal D., McCarthy J. Discussion of the paper of Ruth B. Marcus. Synthese 1962, XIV:132-143.
133. Marcus Discussion of the paper of Ruth B. Marcus. Synthese 1993, XIV:132-143.
134. Barcan Marcus R. Modalities and intensional languages. Synthese 1961, XIII(4):303-322.
135. Barcan Modalities and intensional languages. Synthese 1993, XIII(4):303-322.
136. Barcan Marcus R. Modalities: Philosophical Essays 1993, Oxford University Press, Oxford.
137. McLeod S. Modality and Anti-Metaphysics 2001, Ashgate, Aldershot.
138. Melia J. Holes, haecceitism and two conceptions of determinism. British Journal for the Philosophy of Science 1999, 50:639-664.
139. Melia J. Reducing possibilities to language. Analysis 2001, 61(1):19-29.
140. Melia J. Modality 2003, Central Problems of Philosophy Acumen.
141. Montague R. Pragmatics. Contemporary Philosophy: A Survey 1968, 102-122. La Nuova Italia Editrice. B. Klibansky (Ed.).
142. Montague R. On the nature of certain philosophical entities. Monist 1969, 53:159-194.
143. Montague On the nature of certain philosophical entities. Monist 1974, 53:159-194.
144. Montague R. Formal Philosophy: Selected Papers of Richard Montague 1974, Yale University Press, New Haven and London. R. H. Thomason (Ed.).
145. Mortimer M. On languages with two variables. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 1975, 21:135-140.
146. Nelson N.D. Constructible falsity. The Journal of Symbolic Logic 1949, 14(1):16-26.
147. Norton B. Is counterpart theory inadequate?. Journal of Philosophical Logic 1976, 5:79-89.
148. Ohlbach H.J., Nonnengart A., de Rijke M., Gabbay D.M. Encoding two-valued nonclassical logics in classical logic. Handbook of Automated Reasoning 2001, 1403-1486. Elsevier and MIT Press. J. Alan Robinson, A. Voronkov (Eds.).
149. Orlov I.E. The calculus of compatibility of propositions. Mathematics of the USSR, Sbornik 1928, 35:263-286. Russian.
150. Parry W.T. In memoriam: Clarence Irving Lewis (1883-1964). Notre Dame Journal of Formal Logic 1970, 11(2):129-140.
151. Parsons T. Ruth Barcan Marcus and the Barcan formula 1995, 3-11. S. Armstrong (Ed.).
152. Parsons T. Nonexistent Objects 1980, Yale University Press, New Haven and London.
153. Parsons J. Must a four-dimensionalist believe in temporal parts?. The Monist 2000, 83(3):399-418.
154. Patterson R. Aristotle's Modal Logic. Essence and Entailment in the Organon 1995, Cambridge University Press, Cambridge.
155. Pearce D., Wagner G. Reasoning with negative information I: strong negation in logic programs. Language, Knowledge and Intentionality (Acta Philosophica Fennica 49) 1990, 405-419. Helsinki.
156. Pearce D., Wagner G. Logic programming with strong negation. Extensions of Logic Programming 1991, 311-326. number 475 in Lecture Notes Artificial Intelligence, Springer. P. Schroeder-Heister (Ed.).
157. Perry J. From worlds to situations. Journal of Philosophical Logic 1986, 15:83-107.
158. Plantinga A. The Nature of Necessity 1974, Oxford Clarendon Press.
159. Prior A.N. Diodoran modalities. Philosophical Quarterly 1955, 5:205-212.
160. Prior A.N. Time and Modality 1957, Oxford University Press, Oxford.
161. Prior A.N. Past, Present and Future 1967, Oxford University Press, Oxford.
162. Quine W.V.O. The problem of interpreting modal logic. Journal of Symbolic Logic 1947, 12(2):43-48.
163. Quine W.V.O. Three grades of modal involvement. Proceedings of the XIth International Congress of Philosophy 1953, North Holland, Amsterdam.
164. Quine W.V.O. Three grades of modal involvement. The Ways of Paradox 1966, Random House, New York.
165. Quine W.V.O. Worlds away. Journal of Philosophy 1976, 73:859-863.
166. Ramachandran M. An alternative translation scheme for counterpart theory. Analysis 1989, 49:131-141.
167. Reynolds M. Axioms for branching time. Journal of Logic and Computation 2002, 12:679-697.
168. Reynolds M. An axiomatization of Prior's Ockhamist logic of historical necessity. Advances in Modal Logic 2003, Vol. 4:355-370. King's College Publications, London. P. Balbiani, N.-Y. Suzuki, F. Wolter, M. Zakharyaschev (Eds.).
169. Rosen G. Modal fictionalism. Mind 1990, 99:327-354.
170. Russell B. On denoting. Mind 1905, 14:479-493.
171. Schmidt K.J. Die modale Syllogistik des Aristoteles 2002, Mentis Verlag, Paderborn.
172. Schurz G. The Is-Ought Problem: An Investigation in Philosophical Logic, volume 1 of Trends in Logic 1997, Kluwer Academic Publishers, Dordrecht.
173. Schurz G. Tarski and Carnap on logical truth-or: what is genuine logic. Alfred Tarski and the Vienna Circle-Austro-Polish Connections in Logical Empiricism 1998, 77-94. Kluwer Academic Publishers, Dordrecht. J. Wolenski, E. Köhler (Eds.).
174. Schurz G. Carnap's modal logic. Zwischen traditioneller und moderner Logik. Nichtklassische Ansätze 2001, 365-380. Mentis Verlag, Paderborn. W. Stelzner, M. Stöckler (Eds.).
175. Scott D. A decision method for validity of sentences in two variables. Journal of Symbolic Logic 1962, 27:477.
176. Scott D. Advice on modal logic. Philosophical Problems in Logic. Some Recent Developments 1970, 143-174. Reidel, Dordrecht. K. Lambert (Ed.).
177. Segerberg K. An essay in classical modal logic 1971, Mimeograph, Uppsala.
178. Sendlewski A. Some investigations of varieties of N-lattices. Studia Logica 1984, 43:257-280.
179. Sendlewski A. Nelson algebras through Heyting ones. Studia Logica 1990, 49:106-126.
180. Shapirovsky I., Shehtman V. Chronological future modality in Minkowski spacetime. Advances in Modal Logic 2003, Vol. 4:437-459. King's College Publications, London. P. Balbiani, N.-Y. Suzuki, F. Wolter, M. Zakharyaschev (Eds.).
181. Shirasu H. Duality in superintuitionistic and modal predicate logics. Advances in Modal Logic 1998, Volume 1:223-236. CSLI Publications, Stanford. M. Kracht et. al. (Ed.).
182. Sider T. Four-Dimensionalism: An Ontology of Persistence and Time 2001, Clarendon Press, Oxford.
183. Sider T. The Ersatz pluriverse. Journal of Philosophy 2002, 99:279-315.
184. Simmons P.M. On being spread out in time: temporal parts and the problem of change. Existence and Explanation 1991, Kluwer Academic Publishers, Dordrecht. W. Spohn et. al. (Ed.).
185. Modality, Morality, and Belief: Essays in Honor of Ruth Barcan Marcus 1995, Cambridge University Press, Cambridge. W. Sinnott-Armstrong (Ed.).
186. Skvortsov D.P., Shehtman V.B. Maximal Kripke-type semantics for modal and superintuitionistic predicate logics. Annals of Pure and Applied Logic 1993, 63:69-101.
187. Skyrms B. Tractarian nominalism. Philosophical Studies 1981, 40:199-206.
188. Smith Q. Direct, rigid designation and a posteriori necessity: a history and critique. The New Theory of Reference: Kripke, Marcus and its Origins 1998, 137-178. Kluwer Academic Publishers, Dordrecht. J. Fetzer, P. Humphreys (Eds.).
189. Stalnaker R., Thomason R.H. Abstraction in first-order modal logic. Theoria 1968, 34:203-207.
190. Stalnaker R., Thomason R.H. A semantic analysis of conditional logics. Theoria 1970, 36:23-42.
191. Stalnaker R. Possible worlds and situations. Journal of Philosophical Logic 1986, 15:109-123.
192. Surányi J. Zur Reduktion des Entscheidungsproblems des logischen Funktionenkalk üls. Mathematikai és Fizikai Lapok 1943, 50:51-74.
193. Suzuki N.-Y. Kripke frames with graded accessibility and fuzzy possible world semantics. Studia Logica 1997, 59:249-269.
194. Tarski A. Über den Begriff der logischen Folgerung. Actes du Congrés International de Philosophie Scientifique 1936, 7:1-11.
195. Tarski A. On the Concept of Logical Consequence. Actes du Congrés International de Philosophie Scientifique 1956, 7:409-420.
196. Tarski A. Logics, Semantics, Metamathematics 1956, Clarendon Press, Oxford.
197. Tegmark M. Parallel universes. Science and Ultimate Reality: Quantum Theory, Cosmology and Complexity 2004, 459-491. Cambridge University Press, Cambridge. J. D. Barrow, P. C. W. Davies, C. L. Harper (Eds.).
198. Thom P. Aristotle's syllogistic. Notre Dame Journal of Formal Logic 1979, 20(4):751-759.
199. Thom P. The Logic of Essentialism: An Interpretation of Aristotle's Modal Syllogistic 1996, Kluwer, Dordrecht.
200. Thomason R.H., Stalnaker R. Modality and reference. Noûs 1968, 2:359-372.
201. Thomason S.K. Semantic analysis of tense logic. Journal of Symbolic Logic 1972, 37:150-158.
202. Thomason S.K. A new representation of S5. Notre Dame Journal of Formal Logic 1973, 14(2):281-284.
203. Troelstra A.S. Lectures on Linear Logic 1992, CSLI, Stanford.
204. Vakarelov D. Notes on N-lattices and constructive logic with strong negation. Studia Logica 1977, 36:109-125.
205. von Weizsäcker C.F. Der Aufbau der Physik 1985, Carl Hanser Verlag, München.
206. von Weizsäcker C.F. Zeit und Wissen 1992, Carl Hanser Verlag, München.
207. White M.J. The necessity of the past and modal-tense logic incompleteness. Notre Dame Journal of Formal Logic 1984, 25(1):59-71.
208. Whitehead A.N., Russell B. Principia Mathematica 1910, 3 volumes, Cambridge University Press, Cambridge.
209. Whitehead A.N., Russell B. Principia Mathematica 1912, 3 volumes, Cambridge University Press, Cambridge.
210. Whitehead A.N., Russell B. Principia Mathematica 1913, 3 volumes, Cambridge University Press, Cambridge.
211. Wójcicki R. Theory of Logical Calculi 1988, Kluwer, Dordrecht.
212. Wolter F., Zakharyaschev M. Decidable fragments of first-order modal logics. Journal of Symbolic Logic 2001, 66:1415-1438.
213. Zanardo A. A finite axiomatization of the set of strongly valid Ockhamist formulas. Journal of Philosophical Logic 1985, 14:447-468.