Login / Signup
A new proof of a theorem of Magidor.
Arthur W. Apter
Published in:
Arch. Math. Log. (2000)
Keyphrases
</>
interactive theorem proving
nonmonotonic reasoning
theorem proving
inference rules
von neumann
linear logic
bayesian networks
optimal solution
control system
mobile robot
theorem prover
default logic
sequent calculus
heavy traffic limit