Autoepistemic Logic of First Order and Its Expressive Power

Authors
L.Y.Yuan
Citation
L.y.yuan, Autoepistemic Logic of First Order and Its Expressive Power, Journal of automated reasoning , 13(1), 1994, pp. 69-82
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
13
Issue
1
Year of publication
1994
Pages
69 - 82
Database
ACNP
SICI code