×

zbMATH — the first resource for mathematics

Found 14 Documents (Results 1–14)

100
MathJax
Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications (ISBN 978-1-84890-144-5/pbk). 1-14 (2014).
MSC:  03B45 03B42
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). 386-394 (2012).
MSC:  03B45 03B62
PDF BibTeX XML Cite
Full Text: arXiv
Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 161-175 (2011).
MSC:  03G30 03B45 03B62
PDF BibTeX XML Cite
Full Text: DOI
Besnard, Philippe (ed.) et al., Handbook of defeasible reasoning and uncertainty management systems. Vol. 2: Reasoning with actual and potential contradictions. Dordrecht: Kluwer Academic Publishers. 37-75 (1998).
MSC:  03B42 68T30 03B45
PDF BibTeX XML Cite