![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Advances in Modal Logic 2010: Moscow, Russia
- Lev D. Beklemishev, Valentin Goranko, Valentin B. Shehtman:
Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010. College Publications 2010, ISBN 978-1-84890-013-4 - Gerard Allwein, William L. Harrison:
Partially-ordered Modalities. 1-21 - Marta Bílková, Ondrej Majer, Michal Pelis, Greg Restall:
Relevant Agents. 22-38 - Kai Brünnler, Remo Goetschi, Roman Kuznets:
A Syntactic Realization Theorem for Justification Logics. 39-58 - Serenella Cerrito, Marta Cialdea Mayer:
Nominal Substitution at Work with the Global and Converse Modalities. 59-76 - Hans van Ditmarsch, Tim French, Sophie Pinchinat:
Future Event Logic - Axioms and Complexity. 77-99 - David Fernández-Duque:
Absolute Completeness of S4u for Its Measure-Theoretic Semantics. 100-119 - Santiago Figueira, Daniel Gorín:
On the Size of Shortest Modal Descriptions. 120-139 - Amélie Gheerbrant:
Complete Axiomatization of the Stutter-invariant Fragment of the Linear Time mu-calculus. 140-155 - Rajeev Goré, Linda Postniece, Alwen Tiu:
Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. 156-177 - Wesley H. Holliday, Thomas F. Icard III:
Moorean Phenomena in Epistemic Logic. 178-199 - Ryo Kashima:
Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation. 200-217 - Stanislav Kikot:
Semantic Characterization of Kracht Formulas. 218-234 - Clemens Kupke, Dirk Pattinson:
On Modal Logics of Linear Inequalities. 235-255 - Agi Kurucz:
On the Complexity of Modal Axiomatisations over Many-dimensional Structures. 256-270 - Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. 271-291 - Alexander Kurz, Yde Venema:
Coalgebraic Lindströom Theorems. 292-309 - Mati Pentus:
Complexity of the Lambek Calculus and Its Fragments. 310-329 - Katsuhiko Sano, Minghui Ma:
Goldblatt-Thomason-style Theorems for Graded Modal Language. 330-349 - Luigi Santocanale, Yde Venema:
Uniform Interpolation for Monotone Modal Logic. 350-370 - Ilya Shapirovsky:
Simulation of Two Dimensions in Unimodal Logics. 371-391 - Dmitrij P. Skvortsov:
A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic. 392-410 - Tomoyuki Suzuki:
Bi-approximation Semantics for Substructural Logic at Work. 411-433 - Tinko Tinchev, Dimiter Vakarelov:
Logics of Space with Connectedness Predicates: Complete Axiomatizations. 434-453 - Sara L. Uckelman, Spencer Johnston:
A Simple Semantics for Aristotelian Apodeictic Syllogistics. 454-469 - Eric Ufferman, Pedro Arturo Góngora, Francisco Hernández Quiroz:
A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes. 470-482 - Heinrich Wansing:
Proofs, Disproofs, and Their Duals. 483-505
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.