Artículos relacionados a Advances in Modal Logic Volume 8

Advances in Modal Logic Volume 8 - Tapa blanda

Lev Beklemishev

 
9781848900134: Advances in Modal Logic Volume 8

Sinopsis

Advances in Modal Logic is a unique international forum representing 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.This volume contains invited and contributed papers from the eighth conference in the AiML series, held in Moscow, Russia, in August 2010. It reports on substantial advances, both in the foundations of modal logic and in a number of application areas. It includes papers on general problems in model theory, proof theory and algorithmic properties of modal logics, on systems for spatial, temporal and epistemic reasoning, on related kinds of logics - description, relevance, substructural, intuitionistic, and on related topics in algebraic logic.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

Advances in Modal Logic is a unique international forum representing 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. This volume contains invited and contributed papers from the eighth conference in the AiML series, held in Moscow, Russia, in August 2010. It reports on substantial advances, both in the foundations of modal logic and in a number of application areas. It includes papers on general problems in model theory, proof theory and algorithmic properties of modal logics, on systems for spatial, temporal and epistemic reasoning, on related kinds of logics - description, relevance, substructural, intuitionistic, and on related topics in algebraic logic.

"Sobre este título" puede pertenecer a otra edición de este libro.