Logical Tools
Keyword(s):
This chapter presents the system of classical higher-order modal logic which will be employed throughout this book. Nothing more than a passing familiarity with classical first-order logic and standard systems of modal logic is presupposed. We offer some general remarks about the kind of commitment involved in endorsing this logic, and motivate some of its more non-standard features. We also discuss how talk about possible worlds can be represented within the system.
2019 ◽
Vol 29
(8)
◽
pp. 1311-1344
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2018 ◽
Vol 26
(3)
◽
Keyword(s):
2021 ◽
pp. 415-432
Keyword(s):
2014 ◽
Vol 26
(5)
◽
pp. 745-788
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):