Abstract
The present note constitutes an introductory course in propositional modal logic. It does not require specific prerequisites, but only a standard knowledge of classical propositional calculus (denoted by PC in the following). Its main goal consists in making the reader familiar with both the traditional ‘possible worlds semantics’, and the more recent concept of ‘general frame’.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bellissima, F.: 1984, ‘Atoms in modal algebras’, Zeitschrift für mathematiske Logik und Grundlagen der Mathematik 30, 303–312.
Bellissima, F.: 1985a ‘An effective representation for finitely generated free interior algebras’, Algebra Universalis 20, 302–317.
Bellissima, F.: 1985b, ‘A test to determine distinct modalities in the extensions of S4’, Zeitschrift für mathematiske Logik und Grundlagen der Mathematik 31, 57–62.
Bellissima, F.: 1988, ‘On the lattices of extensions of the modal logics KAltn’, Archive Jor Mathematical Logic 27, 107–114.
Bellissima, F.: 1989, ‘Infinite sets of non-equivalent modalities’, Notre Dame Journal of Formal Logic 30, 574–582.
Bellissima, F.: 1990, ‘Post complete and O-axiomatizable modallogics’, Annals of Pure and Applied Logic 47, 121–144.
Bellissima, F. and Mirolli, M.: 1989, ‘A general treatment of equivalent modalities in normal modal logics’, The Journal of Symbolic Logic 54, 1460–1471.
Benthem, J. van: 1983, Modallogic and Classicallogic, Bibliopolis, Napoli.
Blok, W.J.: 1978, ‘On the degree of incompleteness of modallogics’, Bullettin of the Section of Logic 7,167–176.
Blok, W.J.: 1980, ‘The lattice of modal algebras is not strongly atomic’, Algebra Universalis 11, 285–294.
Chellas, B.F.: 1980, Modal Logic: An Introduction, Cambridge University Press, Cambridge.
Fine, K.: 1974, ‘Logics containing K4 (part 1)’ Journal of Symbolic Logic 39, 31–42.
Fine, K.: 1985, ‘Logics containing K4 (Part 2)’ Journal of Symbolic Logic 50, 619–651.
Gabbay, D.M.: 1976, Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics, D. Reidel, Dordrecht.
Sambin, G. and Vaccaro, Y.: 1988, ‘Topology and duality in modallogic’, Annals of Pure and Applied Logic 37, 249–296.
Segerberg, K.: 1971, An Essay in Classical Modal Logic, Filosofiska Studier, Uppsala.
Thomason, S.K.: 1972, ’semantic analysis of tense logics’, Journal of Symbolic Logic 37, 150–157.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Bellissima, F. (1993). An Introduction to Modal Semantics. In: Corsi, G., Chiara, M.L.D., Ghirardi, G.C. (eds) Bridging the Gap: Philosophy, Mathematics, and Physics. Boston Studies in the Philosophy of Science, vol 140. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-2496-6_2
Download citation
DOI: https://doi.org/10.1007/978-94-011-2496-6_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-5101-9
Online ISBN: 978-94-011-2496-6
eBook Packages: Springer Book Archive