倒转
发表于 2025-3-30 12:02:54
http://reply.papertrans.cn/59/5825/582455/582455_51.png
graphy
发表于 2025-3-30 16:11:19
Rosemary StewartIn the first section of the chapter we sketch the basics of tableau systems. In the second section we give a tableau-based decision procedure for a very expressive hybrid logic including the universal modality. In the third section we show how the decision procedure of the second section can be modi
Ceremony
发表于 2025-3-30 18:38:49
http://reply.papertrans.cn/59/5825/582455/582455_53.png
Rodent
发表于 2025-3-30 22:58:02
http://reply.papertrans.cn/59/5825/582455/582455_54.png