×

Found 5 Documents (Results 1–5)

The classical model existence theorem in subclassical predicate logics. I. (English) Zbl 1159.03007

Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 187-199 (2009).
MSC:  03B10 03B20 03B50
PDFBibTeX XMLCite
Full Text: DOI

Quantifiers for reasoning with imperfect information and \(\Sigma_1^1\)-logic. (English) Zbl 0935.03048

Carnielli, Walter A. (ed.) et al., Advances in contemporary logic and computer science. Proceedings of the 11th Brazilian conference on mathematical logic, Salvador, Bahia, Brazil. May 6-10, 1996. Providence, RI: American Mathematical Society. Contemp. Math. 235, 17-31 (1999).
PDFBibTeX XMLCite

Filter Results by …

Year of Publication

Main Field