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