Article,

Clausal Tableaux for Multimodal Logics of Belief.

, and .
Fundam. Informaticae, 94 (1): 21-40 (2009)

Meta data

Tags

Users

  • @dblp

Comments and Reviews