![](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
24th WoLLIC 2017: London, UK
- Juliette Kennedy, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. Lecture Notes in Computer Science 10388, Springer 2017, ISBN 978-3-662-55385-5 - Nathanael L. Ackerman, Cameron E. Freer:
Graph Turing Machines. 1-13 - Fausto Barbero, Lauri Hella
, Raine Rönnholm:
Independence-Friendly Logic Without Henkin Quantification. 14-30 - Arnold Beckmann, Jean-José Razafindrakoto:
Total Search Problems in Bounded Arithmetic and Improved Witnessing. 31-47 - Lev D. Beklemishev:
On the Reflection Calculus with Partial Conservativity Operators. 48-67 - Paola Bruscoli, Lutz Straßburger:
On the Length of Medial-Switch-Mix Derivations. 68-79 - Almudena Colacito
, George Metcalfe
:
Proof Theory and Ordered Groups. 80-91 - Willem Conradie
, Andrew Craig
, Alessandra Palmigiano
, Zhiguang Zhao
:
Constructive Canonicity for Lattice-Based Fixed Point Logics. 92-109 - Karin Cvetko-Vah
, Mehrnoosh Sadrzadeh
, Dimitri Kartsaklis, Benjamin Blundell:
Non-commutative Logic for Compositional Distributional Semantics. 110-124 - Flavio Ferrarotti
, Senén González, José Maria Turull Torres:
On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order. 125-139 - Michal Tomasz Godziszewski, Joel David Hamkins
:
Computable Quotient Presentations of Models of Arithmetic and Set Theory. 140-152 - Giuseppe Greco
, Alessandra Palmigiano
:
Lattice Logic Properly Displayed. 153-169 - Bjørn Kjos-Hanssen:
Shift Registers Fool Finite Automata. 170-181 - Stepan L. Kuznetsov:
The Lambek Calculus with Iteration: Two Variants. 182-198 - Giuseppe Greco
, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano
:
Multi-type Display Calculus for Semi De Morgan Logic. 199-215 - Zhaohui Luo, Sergei Soloviev:
Dependent Event Types. 216-228 - Ian Mackie:
A Geometry of Interaction Machine for Gödel's System T. 229-241 - Sérgio Marcelino
, Carlos Caleiro:
Disjoint Fibring of Non-deterministic Matrices. 242-255 - Bob Coecke, Fabrizio Genovese, Martha Lewis
, Dan Marsden:
Generalized Relations in Linguistics and Cognition. 256-270 - Marcin Mostowski, Marek Czarnecki:
Concrete Mathematics. Finitistic Approach to Foundations. 271-280 - Fedor Pakhomov
:
Solovay's Completeness Without Fixed Points. 281-294 - Rohit Parikh:
An Epistemic Generalization of Rationalizability. 295-303 - Vít Puncochár:
Knowledge Is a Diamond. 304-320 - Yury Savateev, Daniyar S. Shamkanov:
Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs. 321-335 - Nikolai L. Poliakov, Denis I. Saveliev:
On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations. 336-348 - Igor Sedlár
:
Substructural Logics with a Reflexive Transitive Closure Modality. 349-357 - Daniyar S. Shamkanov:
Global Neighbourhood Completeness of the Gödel-Löb Provability Logic. 358-370 - Gijs Jasper Wijnholds
:
Coherent Diagrammatic Reasoning in Compositional Distributional Semantics. 371-386 - Zhiguang Zhao
:
Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces. 387-400
![](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.