×

zbMATH — the first resource for mathematics

Found 230 Documents (Results 1–100)

100
MathJax
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. 541-558 (2018).
MSC:  03B45 03F45
PDF BibTeX XML Cite
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. 237-346 (2018).
MSC:  03B45 03F45
PDF BibTeX XML Cite
Full Text: arXiv
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. 13-27 (2018).
MSC:  03B45 03F45
PDF BibTeX XML Cite
Full Text: arXiv
Hansen, Helle Hvid (ed.) et al., Logic, language, and computation. 11th international Tbilisi symposium, TbiLLC 2015, Tbilisi, Georgia, September 21–26, 2015. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 10148, 313-332 (2017).
MSC:  03B45 03F45
PDF BibTeX XML Cite
Full Text: DOI
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). 1-20 (2016).
MSC:  03F45 03B45 03F30
PDF BibTeX XML Cite
Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 257-275 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 157-174 (2015).
MSC:  03F45 03B45 03C62
PDF BibTeX XML Cite
Full Text: DOI
Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 217-233 (2014).
MSC:  03F45 03G25 03B45
PDF BibTeX XML Cite
Bezhanishvili, Guram (ed.), Leo Esakia on duality in modal and intuitionistic logics. Dordrecht: Springer (ISBN 978-94-017-8859-5/hbk; 978-94-017-8860-1/ebook). Outstanding Contributions to Logic 4, 257-290 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-35721-3/pbk). Lecture Notes in Computer Science 7734, 401-414 (2013).
MSC:  03B20 03B45 03F45
PDF BibTeX XML Cite
Full Text: DOI
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). 185-199 (2012).
MSC:  03F45
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). 89-94 (2012).
MSC:  03F45 03B45
PDF BibTeX XML Cite
van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 47-54 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Schindler, Ralf (ed.), Ways of proof theory. Collected papers by speakers of the colloquium and workshop held on the occasion of the retirement of Wolfram Pohlers, July 17–19, 2008, Münster, Germany. Frankfurt am Main: Ontos Verlag (ISBN 978-3-86838-087-3/hbk). Ontos Mathematical Logic 2, 135-155 (2010).
MSC:  03F45 03B45
PDF BibTeX XML Cite
Esparza, Javier (ed.) et al., Logics and languages for reliability and security. Selected papers based on the presentations at the 30th international summer school, Marktoberdorf, Germany, August 4–16, 2009. Amsterdam: IOS Press (ISBN 978-1-60750-099-5/hbk; 978-1-60750-100-8/ebook). NATO Science for Peace and Security Series D: Information and Communication Security 25, 129-154 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Ablayev, Farid (ed.) et al., Computer science – theory and applications. 5th international computer science symposium in Russia, CSR 2010, Kazan, Russia, June 16–20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13181-3). Lecture Notes in Computer Science 6072, 384-396 (2010).
MSC:  03B45 03F45
PDF BibTeX XML Cite
Full Text: DOI
Areces, Carlos (ed.) et al., Advances in modal logic. Vol. 7. Proceedings of the 7th conference (AiML 2008), Nancy, France, September 9–12, 2008. London: College Publications (ISBN 978-1-904987-68-0/pbk). 289-304 (2008).
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
all top 3
Software