Consequence, counterparts and substitution

Monist

Volumn 85, Issue 4, 2002, Pages 483-497

  Bauer, Sebastian ^a   Wansing, Heinrich ^b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 70450055252     PISSN: 00269662     EISSN: None     Source Type: Journal    
DOI: 10.5840/monist200285434     Document Type: Article

References (24)

1. J. van Benthem, "Possible Worlds Semantics: a Research Programme that Cannot Fail?," Studia Logica 43 (1984), 379-93
2. J. van Benthem, "General Dynamic Logic," in D. Gabbay (ed.), What Is a Logical System?, Oxford: Oxford University Press, 1994, 107-39
3. J. van Benthem, Exploring Logical Dynamics, CSLI Publications, Stanford, 1996
4. G. Hughes and M. Cresswell, A Companion to Modal Logic, Methuen, London, 1984
5. D. van Dalen, Logic and Structure, Springer-Verlag, 2nd edition, Berlin, 1983
6. K. Došen, Logical Constants as Punctuation Marks, in: D. Gabbay (ed.), What Is a Logical System?, Oxford: Oxford University Press, 1994, 273-96
7. Notre Dame Journal of Formal Logic 30 (1989), 362-81
8. D. Gabbay, Semantical Investigations in Heyting's Intuitionistic Logic, Reidel, Dordrecht, 1981
9. D. Gabbay, "A General Theory of Structured Consequence Relations," in: K. Došen and P. Schroeder-Heister (eds.), Substructural Logics, Oxford: Oxford University Press, 1993, 109-51
10. S. Ghilardi, "Incompleteness Results in Kripke-semantics," The Journal of Symbolic Logic 56 (1991), 517-38
11. J.-Y. Girard, Y. Lafont, and P. Taylor, Proofs and Types, Cambridge: Cambridge University Press, 1989
12. R. Goldblatt, Logics of Time and Computation, 2nd edition, CSLI Publications, Stanford, 1992
13. A. Hazen, "Counterpart-theoretical Semantics for Modal logic," The Journal of Philosophy 76 (1979), 319-38
14. D. Hilbert and W. Ackermann, Grundzüge der theoretischen Logik, Springer-Verlag, Berlin, 5th edition, 1967
15. M. Kracht and O. Kutz, "The Semantics of Modal Predicate Logic I," to appear in: F. Wolter, H. Wansing, M. de Rijke and M. Zakharyaschev (eds.), Advances in Modal Logic. Vol. 3, World Scientific Publishers, Singapore, 2002
16. D. Lewis, "Counterpart Theory and Quantified Modal Logic," in: M. Loux (ed.), The Possible and the Actual, Ithaca, NY: Cornell University Press, 1979, 110-28
17. The Journal of Philosophy 65 (1968), 113-26
18. J. Łos and R. Suszko, "Remarks on Sentential Logic," Indagationes Mathematicae 20 (1958), 178-83
19. D. Pearce and H. Wansing, "On the Methodology of Possible Worlds Semantics, I: Correspondence Theory," Notre Dame Journal of Formal Logic, 29 (1988), 482-96
20. D. P. Skvortsov and V. B. Shethman, "Maximal Kripke-type Semantics for Modal and Superintuitionistic Predicate Logic," Annals of Pure and Applied Logic 63 (1993), 69-101
21. N. Tennant, "The Transmission of Truth and the Transitivity of Deduction," in: D. Gabbay (ed.), What Is a Logical System?, Oxford: Oxford University Press, 1994, 161-78
22. A. Urquhart, "Many-valued Logic," in: D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic. Vol. 3, Dordrecht: Reidel, 1986, 71-116
23. H. Wansing, "Tarskian Structured Consequence Relations and Functional Completeness," Mathematical Logic Quarterly 41 (1995), 73-92
24. R. Wójcicki, Theory of Logical Calculi. Basic Theory of Consequence Operations, Dordrecht: Kluwer Academic Publishers, 1988