A formal characterisation of Hamblin's action-state semantics

DOI10.1007/s10992-006-9041-zzbMath1125.03006WikidataQ60192478 ScholiaQ60192478MaRDI QIDQ2642475

Chris Reed, Timothy J. Norman

Publication date: 17 August 2007

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-006-9041-z

zbMATH Keywords

delegation; imperatives; action logics; Hamblin

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03A05: Philosophical and critical aspects of logic and foundations

03B42: Logics of knowledge and belief (including belief change)

03B44: Temporal logic

Related Items

The instructional information processing account of digital computation, A logic of delegation

Uses Software

• GOLOG
• METATEM
• Graphplan
• CCalc

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• Nonmonotonic causal theories
• Bringing it about
• The way of the agent
• Time and modality in the logic of agency
• Agreeing to disagree
• Model theory for modal logic. Kripke models for modal predicate calculi
• A semantics for speech acts
• Fast planning through planning graph analysis
• The logic of events
• MetateM: An introduction
• The deliberative stit: A study of action, omission, ability, and obligation
• STRIPS: A new approach to the application of theorem proving to problem solving
• Some contributions to the metatheory of the situation calculus
• New foundations for Lewis modal systems
• GOLOG: A logic programming language for dynamic domains
• On the basic logic ofSTITwith a single agent
• Remarks on the modal logic of Henry Bradford Smith