A formal characterisation of Hamblin's action-state semantics
From MaRDI portal
Publication:2642475
DOI10.1007/s10992-006-9041-zzbMath1125.03006OpenAlexW2053708048WikidataQ60192478 ScholiaQ60192478MaRDI QIDQ2642475
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
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)
Uses Software
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