• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications (all current information on this profile has been aggregated automatically from publisher and metadata sources).
  • James W. Garson
  • Computer Science
  • 1984
  • The novice may wonder why quantified modal logic (QML) is considered difficult. QML would seem to be easy: simply add the principles of first-order logic to propositional modal logic. Unfortunately,Continue Reading
  • James W. Garson
  • Mathematics
  • 2006 (First Published: 14 August 2006)
  • Preface to the second edition Introduction 1. The System K: a foundation for modal logic 2. Extensions of K 3. Basic concepts of intensional semantics 4. Trees for K 5. The accessibility of relationContinue Reading
  • James W. Garson
  • Mathematics, Computer Science
  • J. Philosophical Logic
  • 2005 (First Published: 1 October 2005)
  • Quantified modal logic (QML) has reputation for complexity. Completeness results for the various systems appear piecemeal. Different tactics are used for different systems, and success of a givenContinue Reading
  • James W. Garson
  • Computer Science
  • Synthese
  • 1994 (First Published: 1 August 1994)
  • Fodor and Pylyshyn (1988) argue that any successful model of cognition must use classical architecture; it must depend upon rule-based processing sensitive to constituent structure. This claim isContinue Reading