×

zbMATH — the first resource for mathematics

Found 131 Documents (Results 1–100)

100
MathJax
Trends in Logic – Studia Logica Library 50. Cham: Springer (ISBN 978-3-030-12095-5/hbk; 978-3-030-12098-6/pbk; 978-3-030-12096-2/ebook). xv, 95 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 577-590 (2018).
MSC:  03B55 03B20
PDF BibTeX XML Cite
Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 483-493 (2012).
MSC:  03B55 03G30
PDF BibTeX XML Cite
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 392-410 (2010).
MSC:  03B20 03B55
PDF BibTeX XML Cite
Seising, Rudolf (ed.), Views on fuzzy sets and systems from different perspectives. Philosophy and logic, criticisms and applications. Berlin: Springer (ISBN 978-3-540-93801-9/hbk; 978-3-540-93802-6/ebook). Studies in Fuzziness and Soft Computing 243, 99-114 (2009).
MSC:  03A05 03B55 68T27
PDF BibTeX XML Cite
Full Text: DOI
Proc. Steklov Inst. Math. 242, 67-85 (2003); translation from Tr. Mat. Inst. Im. V. A. Steklova 242, 77-97 (2003).
MSC:  03B55 03B20 68Q30
PDF BibTeX XML Cite
Bradfield, Julian (ed.), Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2471, 74-88 (2002).
MSC:  03B55 68Q30 03B20
PDF BibTeX XML Cite
Full Text: Link
Algebra Logika 39, No. 6, 720-740 (2000); translation in Algebra Logic 39, No. 6, 412-422 (2000).
MSC:  03B20 03B55
PDF BibTeX XML Cite
Full Text: EuDML
Niwiński, Damian (ed.) et al., Logic, algebra, and computer science. Helena Rasiowa in memoriam. Warszawa: Polish Academy of Sciences, Institute of Mathematics, Banach Cent. Publ. 46, 159-168 (1999).
PDF BibTeX XML Cite
Full Text: EuDML
Karpenko, A. S. (ed.) et al., Logical investigations. No. 5. Proceedings from the section “Symbolic logic” of the 1st International conference “Smirnov Readings”, Moscow, Russia, March 1997. Moskva: Nauka. 53-60 (1998).
PDF BibTeX XML Cite
Kracht, Marcus (ed.) et al., Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 87, 223-236 (1998).
MSC:  03B45 03B55
PDF BibTeX XML Cite
Kracht, Marcus (ed.) et al., Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 87, 133-140 (1998).
MSC:  03B45 03B55
PDF BibTeX XML Cite
Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 105-116 (1990).
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
Biographic Reference