Login / Signup
Cut-free formulations for a quantified logic of here and there.
Grigori Mints
Published in:
Ann. Pure Appl. Log. (2010)
Keyphrases
</>
logic programming
modal logic
classical logic
epistemic logic
proof theory
asynchronous circuits
delay insensitive
data sets
multi agent
probability theory
multi valued
dynamic logic