Reference : Logic of Non-Monotonic Interactive Proofs
Scientific congresses, symposiums and conference proceedings : Paper published in a journal
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/25953
Logic of Non-Monotonic Interactive Proofs
English
Kramer, Simon [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
2013
Lecture Notes in Computer Science
Springer
7750
173-184
Yes
International
0302-9743
1611-3349
Indian Conference on Logic and Its Applications
January 10-12, 2013
The Institute of Mathematical Sciences, Chennai
India
[en] agents as proof- and signature-checkers ; constructive Kripke-semantics ; interpreted communication ; multi-agent distributed systems ; interactive and oracle computation ; proofs as sufficient evidence
[en] 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 interactive proofs (LiP) as a minimal conservative extension of LiiP. Instant interactive proofs effect a fragile epistemic impact in their intended communities of peer reviewers that consists in the impermanent induction of the knowledge of their proof goal by means of the knowledge of the proof with the interpreting reviewer: If my peer reviewer knew my proof then she would at least then know that its proof goal is true. Their impact is fragile and their induction of knowledge impermanent in the sense of being the case possibly only at the instant of learning the proof. This accounts for the important possibility of internalising proofs of statements whose truth value can vary, which, as opposed to invariant statements, cannot have persistent proofs. So instant interactive proofs effect a temporary transfer of certain propositional knowledge (knowable ephemeral facts) via the transmission of certain individual knowledge (knowable non-monotonic proofs) in distributed systems of multiple interacting agents.
http://hdl.handle.net/10993/25953
10.1016/j.entcs.2013.12.011
http://arxiv.org/abs/1208.1842

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
Logic of Non-Monotonic Interactive Proofs.pdfPublisher postprint239.29 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.