@inproceedings{Kramer13, author = {Simon Kramer}, title = {Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)}, booktitle = {Proc.\ 6th Workshop on Intuitionistic Modal Logic and Applications}, series = {Electronic Notes in Theoretical Computer Science}, volume = {300}, pages = {47-70}, year = {2013} }