×

Found 21 Documents (Results 1–21)

100
MathJax

Synthetic completeness proofs for Seligman-style tableau systems. (English) Zbl 1400.03045

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 302-321 (2016).
MSC:  03B45
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification