A Cyclic Proof System for HFLN.

Mayuko Kori Takeshi Tsukada Naoki Kobayashi

Published in: CoRR (2020)

Keyphrases

modal logic
artificial intelligence
real time
genetic algorithm
web services
case study
lower bound
special case
constraint satisfaction problems
proof search