Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models.

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

Keyphrases