Andere Kunden interessierten sich auch für
![On the Complexity of Modal Logic Variants and their Fragments]( "On the Complexity of Modal Logic Variants and their Fragments")
On the Complexity of Modal Logic Variants and their Fragments24,35 €![An Introduction to Lambda Calculi for Computer Scientists]( "An Introduction to Lambda Calculi for Computer Scientists")
An Introduction to Lambda Calculi for Computer Scientists24,99 €![Languages, Machines, and Classical Computation]( "Languages, Machines, and Classical Computation")
Languages, Machines, and Classical Computation23,99 €![An Introduction to Ontology Engineering]( "An Introduction to Ontology Engineering")
An Introduction to Ontology Engineering23,99 €![Proceedings of Urc* 2010. Undergraduate Research in Computer Science - Theory and Applications. Student Conference]( "Proceedings of Urc* 2010. Undergraduate Research in Computer Science - Theory and Applications. Student Conference")
Proceedings of Urc* 2010. Undergraduate Research in Computer Science - Theory and Applications. Student Conference21,99 €![Acts of the Progamme Sematics and Syntax]( "Acts of the Progamme Sematics and Syntax")
Acts of the Progamme Sematics and Syntax26,99 €![Foundations of the Formal Sciences VI]( "Foundations of the Formal Sciences VI")
Foundations of the Formal Sciences VI27,99 €
Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial intelligence, computer science, mathematics, formal grammar and semantics to philosophy. This volume presents substantial recent advances in the relational and the algorithmic treatment of modal logics. It contains papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004. Written by leading experts in the field, the present book is indispensable for any advanced student and researcher in pure and applied modal logic.