3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2012
Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)
Simon Kramer, Joshua Sack
We propose parametric constructive Kripke-semantics for multi-agent KD45-belief and S5-knowledge in terms of elementary set-theoretic constructions of two basic functional building…
cs.LO2012★ 3 cited
Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer)
Simon Kramer
We propose a monotonic logic of internalised non-monotonic or instant interactive proofs (LiiP) and reconstruct an existing monotonic logic of internalised monotonic or persistent…