The Search for the Diodorean Modal System

Arthur Prior

in Past, Present and Future

Published in print May 1967 | ISBN: 9780198243113
Published online October 2011 | e-ISBN: 9780191680632 | DOI:
The Search for the Diodorean Modal System

Show Summary Details


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

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.