Complex Epistemic Modalities in the Situation Calculus

By Ryan F. Kelly, Adrian R. Pearce. 2008

18 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Vaishak Belle
2. Gerhard Lakemeyer
3. Hector J. Levesque
4. Giulia Vilone
5. Timo Speith

Citations in the corpus

• Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds (2017, background): “…theory and implementation of meta-beliefs with multiple agents [Fagin et al. , 1995; Muise et al. , 2015], but in the context of the situation calculus, reduction theorems and axiomatizations have been studied in [Kelly and Pearce, 2008; Liu and Wen, 2011; Belle and Lakemeyer, 2015; 2014a; 2014b].”
• Multiagent Only Knowing in Dynamic Systems (2014, background): “Recently, in fact, Kelly and Pearce (2008) formulate the evaluation of epistemic queries, including queries about common knowledge (Fagin et al., 1995), by means of a meta-level operator using regression.”