Found 2 Documents (Results 1–2)

A sound and complete axiomatic system of bdi-stit logic. (English) Zbl 1275.03085

Peliš, Michal (ed.), The Logica yearbook 2008. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2008. London: College Publications (ISBN 978-1-904987-46-8/pbk). 193-210 (2009).
MSC:  03B42

Filter Results by …

Document Type

Year of Publication

Main Field