8 citations · 24 across the 10 of their papers we have counts for
4 papers · 1 filter
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…
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)
Simon Kramer
We produce a decidable classical normal modal logic of internalised negation-complete and thus disjunctive non-monotonic interactive proofs (LDiiP) from an existing logical counter…
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…
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…