4 research outputs found
An Observation Concerning Porte鈥檚 Rule in Modal Logic
It is well known that no consistent normal modal logic contains (as theorems) both 鈼夾 and 鈼娐珹 (for any formula A). Here we observe that this claim can be strengthened to the following: for any formula A, either no consistent normal modal logic contains 鈼夾, or else no consistent normal modal logic contains 鈼娐珹
Two Temporal Logics of Contingency
This work concerns the use of operators for past and future con-tingency in Priorean temporal logic. We will develop a system namedCt, whose language includes a propositional constant and prove that(i) Ct is complete with respect to a certain class of general frames and(ii) the usual operators for past and future necessity are denable insuch system. Furthermore, we will introduce the extension Ctlin thatcan be interpreted on linear and transitive general frames. The theo-retical result of the current work is that contingency can be treatedas a primitive notion in reasoning about temporal modalities
Two Temporal Logics of Contingency
This work concerns the use of operators for past and future con-tingency in Priorean temporal logic. We will develop a system namedCt, whose language includes a propositional constant and prove that(i) Ct is complete with respect to a certain class of general frames and(ii) the usual operators for past and future necessity are denable insuch system. Furthermore, we will introduce the extension Ctlin thatcan be interpreted on linear and transitive general frames. The theo-retical result of the current work is that contingency can be treatedas a primitive notion in reasoning about temporal modalities
Freedom and causality in contemporary Islamic & Western philosophy
EThOS - Electronic Theses Online ServiceGBUnited Kingdo