-
144An axiomatization of s13Philosophia 8 (2-3): 381-382. 1978.Specifies an axiomatization of the system S13 of modal logic. Referenced in Cocchiarella & Freund "Modal Logic: an Introduction to its Syntax and Semantics", Oxford University Press, 2008.
-
41On Interpreting the S5 Propositional Calculus: an essay in philosophical logicDissertation, University of Iowa. 1976.Discusses alternative interpretations of the modal operators, for the modal propositional logic S5.
-
220Reduction to first degree in quantificational S5Journal of Symbolic Logic 44 (2): 207-214. 1979.It is shown that the modally first-degree formulas of quantificational S5 constitute a reduction class. This is done by defining prenex normal forms for quantificational S5, and then showing that for any formula A there is a formula B in prenex normal form, such that B is modally first-degree and is provable if and only if A is provable.
Areas of Specialization
| Logic and Philosophy of Logic |
Areas of Interest
| Logic and Philosophy of Logic |
| Philosophy of Mathematics |