![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
21st WoLLIC 2014: Valparaíso, Chile
- Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings. Lecture Notes in Computer Science 8652, Springer 2014, ISBN 978-3-662-44144-2 - Luca Viganò
, Marco Volpe, Margherita Zorzi
:
Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper). 1-19 - Sergio Abriola, María Emilia Descotte, Santiago Figueira:
Definability for Downward and Vertical XPath on Data Trees. 20-35 - Beniamino Accattoli, Claudio Sacerdoti Coen
:
On the Value of Variables. 36-50 - Carlos Areces, Hans van Ditmarsch, Raul Fervari
, François Schwarzentruber
:
Logics with Copy and Remove. 51-65 - Alexander Baumgartner, Temur Kutsia
:
Unranked Second-Order Anti-Unification. 66-80 - Gustavo Adrian Bodanza, Claudio A. Alessio:
Reinstatement and the Requirement of Maximal Specificity in Argument Systems. 81-93 - Ruan Carvalho, Laís Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz:
Sequentialization for N-Graphs via Sub-N-Graphs. 94-108 - Ivano Ciardelli:
Interrogative Dependencies and the Constructive Content of Inquisitive Proofs. 109-123 - Petr Cintula
, Carles Noguera
:
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem. 124-136 - Liron Cohen
, Arnon Avron:
Ancestral Logic: A Proof Theoretical Study. 137-151 - Alessandra Di Pierro
, Federica Panarotto:
A Calculus of Anyons. 152-165 - Zoltán Ésik, Panos Rondogiannis:
Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars. 166-180 - Zachary Heckle, Pavel Naumov
:
Common Knowledge Semantics of Armstrong's Axioms. 181-194 - Juliana Küster Filipe Bowles
, Petrucio Viana:
On Distributed Stochastic Logics for Mobile Systems. 195-205 - Ori Lahav, Yoni Zohar:
On the Construction of Analytic Sequent Calculi for Sub-classical Logics. 206-220 - Dan E. Willard:
On the Broader Epistemological Significance of Self-Justifying Axiom Systems. 221-236
![](https://dblp.org/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.