Login / Signup

Three faces of recursion axioms: the case of constructive dynamic logic of relation changers.

Ryo HatanoKatsuhiko Sano
Published in: J. Log. Comput. (2023)
Keyphrases
  • dynamic logic
  • knowledge base
  • modal logic
  • face recognition
  • first order logic
  • complex objects
  • line drawings
  • reasoning about actions
  • logic programming
  • deductive databases
  • transitive closure
  • multiple input