Login / Signup
Fresh Logic: proof-theory and semantics for FM and nominal techniques.
Murdoch Gabbay
Published in:
J. Appl. Log. (2007)
Keyphrases
</>
proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
expert systems
knowledge representation
model theoretic
natural language
belief revision
theorem prover
nonmonotonic reasoning
cp nets
intuitionistic logic