Results 51 to 57 of about 80 (57)

Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics [PDF]

open access: yes, 2012
Khodadadi, M   +3 more
core  

Home - About - Disclaimer - Privacy