Decidability of Propositionally Quantified Logics of Knowledge

  • Tim French
  • Published 2003 in Australian Conference on Artificial Intelligence


Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with local propositional quantification L ( ,∃,∃1,...∃k) introduced in [4] to allow reasoning about knowledge in more general (non-hierarchical) systems. We show that these new semantics preserve… (More)
DOI: 10.1007/978-3-540-24581-0_30


  • Presentations referencing similar topics