en ru
Модальная логика
Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences.
Введение в Модальной Логике - инициатива, нацеливающаяся на представление современного представления о государстве искусства в модальной логике и его много приложений. Инициатива состоит из серий конференции вместе с объемами, основанными на конференциях.
The conference is the main international forum at which research on all aspects of modal logic is presented. The Advances in Modal Logic Initiative was founded in 1995 and the first AiML Conference was held in 1996 in Berlin, Germany. Since then the AiML Conference has been organised on an bi-annual basis with previous meetings being held in 1998 in Uppsala, Sweden, in 2000 in Leipzig, Germany (jointly with ICTL-2000), in 2002 Toulouse, France, and in 2004 in Manchester, UK.
Конференция - главный международный форум в который исследование на всех аспектах модальной логики представлен. Авансы в Модальной Логической Инициативе были основаны в 1995 и первая Конференция AiML проходит в 1996 в Берлине, Германия. С того времени Конференция AiML была организована на двухлетнем основании с предыдущими встречами, держащимися в 1998 в Упсале, Швеция, в 2000 в Лейпциге, Германия (совместно с ICTL-2000), в 2002 Тулузе, Франция, и в 2004 в Манчестере, ВЕЛИКОБРИТАНИИ.
Modal Logic, originally conceived as the logic of necessity and possibility, has developed into a powerful mathematical discipline that deals with (restricted) description languages for talking about various kinds of relational structures.
Модальная Логика, первоначально задуманная как логика потребности и возможности, развилась в мощную математическую дисциплину, которая имеет дело с (ограничено) языками описания для разговора о различных видах реляционных структур.
Advances in Modal Logic is a bi-annual international conference and book series in Modal Logic. The aim of the conference series is to report on important new developments in pure and applied modal logic, and to do so at varying locations throughout the world. The book series is based on the conferences. Please consult the background pages for further details.
Авансы в Модальной Логике - двухлетняя международная конференция и книжные серии в Модальной Логике. Цель серий конференции - сообщить на важных новых событиях в чистой и прикладной модальной логике, и, чтобы сделать так в изменяющих местоположениях во всем мире. Книжные серии основаны на конференциях. Пожалуйста консультируйтесь со второстепенными страницами для дальнейших деталей.
http://www.aiml.net/images/volume1.gif Marcus Kracht, Maarten de Rijke, Heinrich Wansing, and Michael Zakharyaschev, editors. CSLI Publications, 1998. Volume 1 is a selection of papers presented at "Advances in Modal Logic'96", the first international workshop of the series. It was held at the Free University of Berlin and focused exclusively on the theory and applications of modal logic. Объем 1 - выбор бумаг, присутствующих на "Авансах в Модальном Logic'96", первом международном цехе серий. Это держалось в Свободном Университете Берлина и сконцентрировалось исключительно на теории и приложениях модальной логики.
http://www.aiml.net/images/volume2.gif Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Wansing, editors. CSLI Publications, 2000. Volume 2 is a selection of papers presented at "Advances in Modal Logic'98", the second international workshop of its kind held in Uppsala, Sweden. Объем 2 - выбор бумаг, присутствующих на "Авансах в Модальном Logic'98", втором международном цехе его вида, держащегося в Упсале, Швеции.
http://www.aiml.net/images/volume3.gif Frank Wolter, Heinrich Wansing, Maarten de Rijke, and Michael Zakharyaschev, editors. World Scientific, 2002. Volume 3 presents substantial advances 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 logic, hybrid logic, epistemic logic, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic. Объем 3 представляет существенные авансы в реляционной образцовой теории и алгоритмическом лечении модальной логики. Это содержит приглашенные и содействующие бумаги от третьей конференции по "Авансам в Модальной Логике", держащейся в Университете Лейпцига (Германия) в октябре 2000. Это включает бумаги на динамичной логике, логике описания, гибридной логике, epistemic логике, комбинациях модальной логики, напряженной логике, логике действия, логике доказуемости, и модальной логике предиката.
http://www.aiml.net/images/volume4.gif Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, and Michael Zakharyaschev, editors. King's College Publications, 2003. Volume 4 presents substantial advances in the relational and the algorithmic treatment of modal logics. It contains invited and contributed papers from the fourth conference on "Advances in Modal logic," held in Toulouse (France) in October 2002. It includes papers on combinations of modal logics, dynamic logic, description logic, temporal logic, epistemic logic and spatial logic. Volume 4 is available online (well as a single ps file). Объем 4 представляет существенные авансы в реляционном и алгоритмическое лечение модальной логики. Это содержит приглашенные и содействующие бумаги от четвертой конференции по "Авансам в Модальной логике", держащейся в Тулузе (Франция) в октябре 2002. Это включает бумаги на комбинациях модальной логики, динамичной логике, логике описания, временной логике, epistemic логике и пространственной логике. Чать 4 доступна online (или в формате ps)
http://www.aiml.net/images/volume5.gif Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds, and Heinrich Wansing, editors. King's College Publications, 2005. Volume 5 presents substantial advances in the relational and the algorithmic treatment of modal logics. It contains invited and contributed papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004. It includes papers on combinations of modal logics, dynamic logic, description logic, temporal logic, epistemic logic and spatial logic. Volume 5 is available online. Объем 5 представляет существенные авансы в реляционном и алгоритмическое лечение модальной логики. Это содержит приглашенные и содействующие бумаги от пятой конференции по "Авансам в Модальной логике", держащейся в Манчестере (ВЕЛИКОБРИТАНИЯ) в сентябре 2004. Это включает бумаги на комбинациях модальной логики, динамичной логике, логике описания, временной логике, epistemic логике и пространственной логике. Часть 5 доступна online
Список статей: Editorial Preface, P. Balbiani, N.-Y. Suzuki, F. Wolter and M. Zakharyaschev, vii-viii Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers, Kai Engelhardt, Ron van der Meyden, Kaile Su, 9-30 Functional Completenes for a Natural Deduction Formulation of Hybridized S5, Torben Brauner, 31-49 Relativized Action Complement for Dynamic Logics, Jan Broersen, 51-69 How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics, A. V. Chagrov and M. N. Rybakov, 71-82 Non-normal Modalisation, Rogerio A. S. Fajardo and Marcelo Finger, 83-95 Bisimulations and Boolean Vectors, Melvin Fitting, 97-125 A Sound and Complete Proof System for QPTL, Tim French and Mark Reynolds, 127-147 Equational Logic of Polynomial Coalgebras, Robert Goldblatt, 149-184 Towards Uniform Reasoning via Structured Subset Spaces, Bernhard Heinemann, 185-203 Controlled Model Exploration, Gabriel G. Infante-Lopez, Carlos Areces and Maarten de Rijke, 205-220 A Note on Relativised Products of Modal Logics, Agi Kurucz and Michael Zakharyaschev, 221-242 Notes on the Space Requirements for Checking Satisfiability in Modal Logics, Marcus Kracht, 243-264 Description Logics with Concrete Domains - A Survey, Carsten Lutz, 265-296 Restricted Interpolation in Modal Logics, Larisa Maksimova, 297-311 Binary Logics, Orthologics, and their Relations to Normal Modal Logics, Yutaka Miyazaki, 313-333 Completions of Algebras and Completeness of Modal and Substructural Logics, Hiroakira Ono, 335-353 An Axiomatization of Prior's Ockhamist Logic of Historical Necessity, Mark Reynolds, 355-370 Combining Dynamic Logic with Doxastic Modal Logics, Renate A. Schmidt and Dmitry Tishkovsky, 371-391 The Complexity of Temporal Logic Model Checking, Ph. Schnoebelen, 393-436 Chronological Future Modality in Minkowski Spacetime, Ilya Shapirovsky and Valentin Shehtman, 437-459 An Incompleteness Result for Predicate Extensions of Intermediate Propositional Logics, D. Skvortsov, 461-474 On IF Modal Logic and its Expressive Power, Tero Tulenheimo, 475-498 Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class, Dimiter Vakarelov, 499-518 Index, 519-523
© AIKernel 2011
11.06.2011 - 11.06.2011