7 citations · 7 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014★ 7 cited
Belief as Willingness to Bet
Jan van Eijck, Bryan Renne
We investigate modal logics of high probability having two unary modal operators: an operator expressing probabilistic certainty and an operator expressing probability exce…
cs.LO2014
Logics of Temporal-Epistemic Actions
Bryan Renne, Joshua Sack, Audrey Yap
We present Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation. These operations a…