# zbMATH — the first resource for mathematics

## Found 14 Documents (Results 1–14)

100
MathJax
MSC:  03B45
Full Text:
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
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
Full Text:
MSC:  03B45 03B62 06E25
Full Text:
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
Full Text:
MSC:  03B45 03B62 03G30
Full Text:
MSC:  03D40 03B25 03B45
Full Text:
MSC:  03B44 03B45
Full Text:
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