"62" Result
Sort By:
This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced…
"This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experience…
This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it…
This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it…
"This book explores noteworthy approaches to modal syllogistic adopted by medieval logicians including Abelard, Albert the Great, Avicenna, Averres, Jean Buridan, Richard Campsall, Robert Kilwardby, and William of Ockham. The book situates these approaches in relation to Aristot…
First-order modal logic
by Fitting, Melvin, (Melvin Chris), Mendelsohn, Richard L.
fromSynthese library
0
Type: Book
First-order modal logic
by Fitting, Melvin, Mendelsohn, Richard L.
fromSynthese library
0
Type: Book
This text offers a treatment of first-order modal logic. It covers quantification itself, including: the difference between actualist and possibilist quantifiers; equality; and the notion of existence and the logical problems surrounding it, borrowing from both Fregean and Russe…
