The theory CDL of Conditional Doxastic Logic is the single-agent
version...
We investigate modal logics of high probability having two unary modal
o...
Is knowledge definable as justified true belief ("JTB")? We argue that o...
We present Dynamic Epistemic Temporal Logic, a framework for reasoning a...