Andere Kunden interessierten sich auch für
![Handbook of Philosophical Logic]( "Handbook of Philosophical Logic")
Handbook of Philosophical Logic110,99 €![Handbook of Logic in Computer Science]( "Handbook of Logic in Computer Science")
Handbook of Logic in Computer Science530,99 €![Handbook of Philosophical Logic]( "Handbook of Philosophical Logic")
Handbook of Philosophical Logic110,99 €![Handbook of Logic in Computer Science]( "Handbook of Logic in Computer Science")
Handbook of Logic in Computer Science534,99 €![What Is a Logical System?]( "What Is a Logical System?")
What Is a Logical System?246,99 €![Fork Algebras in Algebra, Logic and Computer Science]( "Fork Algebras in Algebra, Logic and Computer Science")
Fork Algebras in Algebra, Logic and Computer Science94,99 €![Handbook of Logic and Proof Techniques for Computer Science]( "Handbook of Logic and Proof Techniques for Computer Science")
Handbook of Logic and Proof Techniques for Computer Science58,50 €
Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics. Volume 3 presents substantial advance in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on "Advances in Modal Logic," held at the University of Leipzig (Germany) in October 2000. It includes papers on dynamic logic, description logics, hybrid logics, epistemic logics, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.