6,140 followers
#Publication - A focused sequent calculus for higher-order logic | We present a focused intuitionistic sequent cal… https://t.co/I3WoJXmPFh
#Publication - A focused sequent calculus for higher-order logic | We present a focused intuitionistic sequent cal… https://t.co/I3WoJXmPFh
Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temp... http://t.co/a5qlUUT1lK
Clausal Resolution for Modal Logics of Confluence. (arXiv:1405.0293v1 [cs.LO]) http://t.co/YJGZntyzyr
Clausal Resolution for Modal Logics of Confluence. (arXiv:1405.0293v1 [cs.LO]) http://t.co/8Y5CnuySwc