What people are saying - Write a review
We haven't found any reviews in the usual places.
FORMALIZING THE POSSIBLEWORLD ANALYSIS OF KNOWLEDGE
A POSSIBLEWORLD ANALYSIS OF ACTION
1 other sections not shown
A's performing accessibility relation achieve ACID(w action sequence actual world affairs agent denoted agent knows AGENT'S KNOWLEDGE analysis of knowledge arguments assumption atomic formulas axiom block Brian Cantwell Smith course of events D T(w define dialing the combination event descriptions event sequence existential first-order logic formula is true goal Hintikka individual informative action interpretation John knows Jon Barwise Joseph Goguen knowledge and action knowledge prerequisites knows what action Line litmus paper logic of knowledge Mary's telephone number modal logic modus ponens object language constant object language formula performing ACT performing the action performing the test possible worlds possible-world analysis possible-world semantics principle problem propositional logic PUTON Q is true quantified Ralph knows reasoning about knowledge RED(w represent rigid designator rigid function says situation situation calculus Situation Semantics solution is acidic someone knows standard identifiers Suppose terms of possible theory of knowledge truth definition unobservable precondition WHILE(P,ACT world compatible