Possible-world semantics for counterfactual logics: A rejoinder.

Published in: J. Philos. Log. (1977)

Keyphrases

computational properties
expressive power
modal logic
inference rules
description logics
propositional dynamic logic
real time
logic programs
nonmonotonic logics
conditional logic
computer vision
hidden markov models
causal reasoning
proof theory
order sorted