1: Introduction 2: The Syntax of Modal Sentential Calculi, 2.1-2.3 3: Matrix Semantics, 3.1-3.3 4: Semantics for Logical Necessity,4.1-4.3 5: Semantics for S5, 5.1-5.3 6: Relational World Systems, 6.1-6.11 7: Quantified Modal Logic, 7.1-7.6 8: The Semantics of Quantified Modal Logic, 8.1-8.7 9: Second-Order Modal Logic, 9.1-9.6 10: Semantics of Second-Order Modal Logic, 10.1-10.5 Afterward Bibliography Index
Nino B. Cocchiarella, Professor Emeritus of Logic and Philosophy at Indiana University has published many new results on the logic of time, modality, logical necessity, philosophical and mathematical logic, formal ontology, theories of predication, reference, and nominalization. He is the author of several books, most recently Formal Ontology and Conceptual Realism. Max A. Freund is professor of logic and philosophy at the National University of Costa Rica, and has been a visiting professor at the most important universities in Latin America as well a visiting researcher at the University of Munich, Germany. He is the author of numerous articles on modal logic, sortal logic, epistemic logic, philosophy of language, philosophy of computability, second-order logic, judicial logic, and a forthcoming book entitled Judicial Logic.
"This is a recommendable book in modal logic, written from a broad perspective...well suited for readers who are interested in understanding how logic affects the formatting of certain philosophical theses related to modalities."--Walter Carnielli, Mathematical Reviews "This is a recommendable book in modal logic, written from a broad perspective. Well suited for readers who are interested in understanding how logic affects the formatting of certain philosophical theses related to modalities."--Mathematical Reviews