Semantics for Conditionals.

Robert Stalnaker

Published in: TARK (1990)

Keyphrases

conditional logic
default rules
default reasoning
formal semantics
transformation rules
proof theoretic
information retrieval
nonmonotonic reasoning
databases
artificial intelligence
decision trees
operational semantics
epistemic states
proof theory