Abstract is missing.
- Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper)Luca Viganò, Marco Volpe, Margherita Zorzi. 1-19 [doi]
- Definability for Downward and Vertical XPath on Data TreesSergio Abriola, María Emilia Descotte, Santiago Figueira. 20-35 [doi]
- On the Value of VariablesBeniamino Accattoli, Claudio Sacerdoti Coen. 36-50 [doi]
- Logics with Copy and RemoveCarlos Areces, Hans P. van Ditmarsch, Raul Fervari, François Schwarzentruber. 51-65 [doi]
- Unranked Second-Order Anti-UnificationAlexander Baumgartner, Temur Kutsia. 66-80 [doi]
- Reinstatement and the Requirement of Maximal Specificity in Argument SystemsGustavo Adrian Bodanza, Claudio A. Alessio. 81-93 [doi]
- Sequentialization for N-Graphs via Sub-N-GraphsRuan Carvalho, Laís Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz. 94-108 [doi]
- Interrogative Dependencies and the Constructive Content of Inquisitive ProofsIvano Ciardelli. 109-123 [doi]
- Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness TheoremPetr Cintula, Carles Noguera. 124-136 [doi]
- Ancestral Logic: A Proof Theoretical StudyLiron Cohen, Arnon Avron. 137-151 [doi]
- A Calculus of AnyonsAlessandra Di Pierro, Federica Panarotto. 152-165 [doi]
- Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal GrammarsZoltán Ésik, Panos Rondogiannis. 166-180 [doi]
- Common Knowledge Semantics of Armstrong's AxiomsZachary Heckle, Pavel Naumov. 181-194 [doi]
- On Distributed Stochastic Logics for Mobile SystemsJuliana Küster Filipe Bowles, Petrucio Viana. 195-205 [doi]
- On the Construction of Analytic Sequent Calculi for Sub-classical LogicsOri Lahav, Yoni Zohar. 206-220 [doi]
- On the Broader Epistemological Significance of Self-Justifying Axiom SystemsDan E. Willard. 221-236 [doi]