Author:
Nalon Cláudia,Marcos João,Dixon Clare
Publisher
Springer International Publishing
Reference24 articles.
1. Lecture Notes in Artificial Intelligence;M. Baldoni,1998
2. Basin, D., Matthews, S., Viganò, L.: Labelled propositional modal logics: Theory and practice. J. Log. Comput 7(6), 685–717 (1997)
3. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
4. Blackburn, P., Dialogue, E.L.E., Cate, B.T.: Beyond pure axioms: Node creating rules in hybrid tableaux. In: Areces, C.E., Blackburn, P., Marx, M., Sattler, U. (eds.) Hybrid Logics, pp. 21–35 (July 25, 2002)
5. Boolos, G.S.: The Logic of Provability. Cambridge University Press (1993)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献