8 citations · 24 across the 10 of their papers we have counts for
Showing 2012 · cs.LOShow all
3 papers · 2 filters
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…
cs.LO2012★ 8 cited
A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer)
Simon Kramer
We propose a logic of interactive proofs as a framework for an intuitionistic foundation for interactive computation, which we construct via an interactive analog of the Goedel-McK…