Davidson and Reiter on Actions

Authors:
Graham White
Affiliations:
(Correspd. Department of Computer Science, Queen Mary, University of London, London E1 4NS, UK) Department of Computer Science, Queen Mary, University of London London E1 4NS, UK. E-mail: graham@d ...
Venue:
Fundamenta Informaticae - Logic for Pragmatics
Year:
2008

Citing 2
Cited 3

Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Counterfactuals and Updates as Inverse Modalities

Journal of Logic, Language and Information

Embedding Constructive K into Intuitionistic K

Electronic Notes in Theoretical Computer Science (ENTCS)
Contexts for human action

VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
A Semantic Analysis of a Logic for Pragmatics with Assertions, Obligations, and Causal Implication

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract