by Minic\ua, Ş., Khodadadi, M., Tishkovsky, D. and Schmidt, R. A.
Reference:
Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics (Minic\ua, Ş., Khodadadi, M., Tishkovsky, D. and Schmidt, R. A.), 2012, Long version of the present paper, papers/IEL-long.pdf.
Bibtex Entry:
@MISC{MinicaKhodadadiTishkovskySchmidt12b,
AUTHOR = {Minic\u{a}, \c{S}. and Khodadadi, M. and Tishkovsky, D. and Schmidt, R. A.},
YEAR = {2012},
TITLE = {Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics},
NOTE = {Long version of the present paper, \url{papers/IEL-long.pdf}}
}