A formal characterisation of Hamblin's action-state semantics

DOI10.1007/s10992-006-9041-zzbMath1125.03006OpenAlexW2053708048WikidataQ60192478 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

delegationimperativesaction logicsHamblin

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (2)

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

Uses Software

• GOLOG
• METATEM
• Graphplan
• CCalc

Cites Work

• 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
• 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

This page was built for publication: A formal characterisation of Hamblin's action-state semantics