• PhD, University of Iowa, 1976.

Areas of specialization

Areas of interest

About me
Retired. Interests include modal logic and the foundations of mathematics.
My works
3 items found.
  1.  22
    Michael J. Carroll (1979). Reduction to First Degree in Quantificational S5. Journal of Symbolic Logic 44 (2):207-214.
    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.
    Direct download (5 more)  
    Export citation  
    My bibliography  
  2.  27
    Michael J. Carroll (1978). An Axiomatization of S13. Philosophia 8 (2-3):381-382.
    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.
    Direct download (6 more)  
    Export citation  
    My bibliography  
  3.  33
    Michael J. Carroll (1976). On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic. Dissertation, University of Iowa
    Discusses alternative interpretations of the modal operators, for the modal propositional logic S5.
    Direct download  
    Export citation  
    My bibliography  
Is this list right?