A Formal Characterisation of Hamblin's Action-State Semantics

C. Reed, Timothy James Forester Norman

Research output: Contribution to journalArticlepeer-review

7 Citations (Scopus)


Hamblin's Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative. Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary relation over possible worlds integrated with a basic tense logic captures intuitions of the Hamblinian model of imperatives. The logic implements a direct mapping of each of Hamblin's key concepts: strategies, partial strategies and wholehearted satisfaction.

Original languageEnglish
Pages (from-to)415-448
Number of pages33
JournalJournal of Philosophical Logic
Issue number4
Publication statusPublished - Aug 2007


  • imperatives
  • action logics
  • delegation
  • Hamblin
  • logic
  • calculus
  • events
  • STIT


Dive into the research topics of 'A Formal Characterisation of Hamblin's Action-State Semantics'. Together they form a unique fingerprint.

Cite this