Naming and Identity in Epistemic Logics Part I: The Propositional Case.

Adam J. Grove Joseph Y. Halpern

Published in: J. Log. Comput. (1993)

Keyphrases

expressive power
propositional logic
default logic
epistemic logic
modal logic
artificial intelligence
table of contents