Login / Signup
On the status of the postulate of recovery in the logic of theory change.
David Makinson
Published in:
J. Philos. Log. (1987)
Keyphrases
</>
formal theory
computer algebra
theoretical framework
commonsense reasoning
set theory
logical framework
asynchronous circuits
information systems
theoretical basis
proof theoretic
knowledge base
logic programming
computational model
theoretical foundation
information theory
proof theory