A Recursively Axiomatizable Subsystem of Levesque\'s Logic of Only Knowing.

Ho Ngoc Duc A Recursively Axiomatizable Subsystem of Levesque\'s Logic of Only Knowing. 283-288 2003 7 JACIII 3 http://www.fujipress.jp/finder/xslt.php?mode=present&inputfile=JACII000700030005.xml db/journals/jaciii/jaciii7.html#Duc03