Login / Signup
Positive Logic with adjoint Modalities: Proof Theory, Semantics, and Reasoning about Information.
Mehrnoosh Sadrzadeh
Roy Dyckhoff
Published in:
Rev. Symb. Log. (2010)
Keyphrases
</>
proof theory
default reasoning
proof theoretic
modal logic
automated reasoning
natural language
query language