Paradoxes of Intensionality.

Dustin Tucker Richmond H. Thomason

Published in: Rev. Symb. Log. (2011)

Keyphrases

deontic logic
inference rules
high level
probability distribution
software engineering
general purpose
theorem proving
probabilistic reasoning
legal reasoning