1 paper
Ondrej Majer, Krishna Manoorkar, Wolfgang Poiger +1
In various computational systems, accessing information incurs time, memory or energy costs. However, standard epistemic logics usually model the acquisition of evidence as a cost-…