7 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.LO2015
Revisable Justified Belief: Preliminary Report
Alexandru Baltag, Bryan Renne, Sonja Smets
The theory of Conditional Doxastic Logic is the single-agent version of Board's multi-agent theory of conditional belief. may be view…
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…