![](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
Annals of Pure and Applied Logic, Volume 131
Volume 131, Numbers 1-3, January 2005
- Richard Blute, Masahiro Hamano
, Philip J. Scott:
Softness of hypercoherences and MALL full completeness. 1-63 - Mai Gehrke, Hideo Nagahashi, Yde Venema:
A Sahlqvist theorem for distributive modal logic. 65-102 - Albert Visser:
Faith & falsity. 103-131 - Philip Kremer, Grigori Mints:
Dynamic topological logic. 133-158 - Marat M. Arslanov
, Chi Tat Chong, S. Barry Cooper, Yue Yang:
The minimal e-degree problem in fragments of Peano arithmetic. 159-175 - Sergey Slavnov:
Coherent phase spaces. Semiclassical semantics. 177-225 - Alexei S. Kolesnikov:
n-Simple theories. 227-261 - Dietrich Kuske, Markus Lohrey:
Logical aspects of Cayley-graphs: the group case. 263-286 - Guram Bezhanishvili, Mai Gehrke:
Completeness of S4 with respect to the real line: revisited. 287-301
![](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.