Theoria · 1988 · 257 citations · 13 references
Formal SemanticsSyntaxCanonical FormAutomated ReasoningAgent TheoryLanguage StudiesSemanticsAgent Programming Language
13
Theory of Games and Economic Behavior
David Hawkins · Philosophy of Science · 1945 · 3.9K citations
Donald Davidson, Gilbert Harman · Synthese · 1970 · 782 citations
Indeterminist time and truth‐value gaps<sup>1</sup>
Richmond H. Thomason · Theoria · 1970 · 404 citations
Automated Reasoning, Temporal Dynamic, Temporal Complexity +3
Alan Montefiore · Philosophical Books · 1964 · 399 citations