×

zbMATH — the first resource for mathematics

Found 64 Documents (Results 1–64)

100
MathJax
Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications. 161-175 (2019).
PDF BibTeX XML Cite
Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 45-59 (2018).
MSC:  68T27 03B42 68T30
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. 219-235 (2018).
MSC:  03B45 03G25
PDF BibTeX XML Cite
Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 451-470 (2009).
PDF BibTeX XML Cite
Full Text: DOI
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, 53-67 (2009).
MSC:  03B45 03G05 03G10
PDF BibTeX XML Cite
Full Text: DOI
Marx, Maarten (ed.) et al., Arrow logic and multi-modal logic. Stanford, CA: CSLI Publications. Studies in Logic, Language and Information. 63-99 (1996).
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
all top 3
Software