Preview
This chapter covers the following topics: the tense-logical basis of Diodorean modal logic, a matrix for Diodorean modality, modal systems between S4 and S5, Kripke's ‘branching time’ matrix, and Dummett's formula in D but not S4.3 and its presupposition of discreteness.
Keywords: Diodorean modal logic; Kripke; branching time matrix; Dummett
Chapter. 4561 words.
Subjects: Metaphysics
Go to Oxford Scholarship Online » abstract
Full text: subscription required
How to subscribe Recommend to my Librarian
Buy this work at Oxford University Press »
Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.