7 citations · 11 across the 2 of their papers we have counts for
2 papers
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.GT2013★ 4 cited
PDL as a Multi-Agent Strategy Logic
Jan van Eijck
Propositional Dynamic Logic or PDL was invented as a logic for reasoning about regular programming constructs. We propose a new perspective on PDL as a multi-agent strategic logic…