Abstract is missing.
- A Cook s Tour of the Finitary Non-Well-Founded SetsSamson Abramsky. 1-18
- Existential Semantics for Modal LogicSergei N. Artëmov. 19-30
- Recognizing and Interpreting Temporal Expressions in Open Domain TextsDavid Ahn, Sisay Fissaha Adafre, Maarten de Rijke. 31-50
- What is a Logical System? A CommentaryAtocha Aliseda. 51-56
- Two Glass Balls and a TowerAmihood Amir. 57-76
- Reichenbach, Prior and Montague: A Semantic Get-togetherCarlos Areces, Patrick Blackburn. 77-88
- A Modal View on Polder PoliticsWouter van Atteveldt, Stefan Schlobach. 89-104
- Logical Non-determinism as a Tool for Logical Modularity: An IntroductionArnon Avron. 105-124
- On the Proof Theory of the Existence PredicateMatthias Baaz, Rosalie Iemhoff. 125-166
- Dimensions of Neural-symbolic Integration - A Structured SurveySebastian Bader, Pascal Hitzler. 167-194
- Modelling Evolvable Systems: A Temporal Logic ViewHoward Barringer, David E. Rydeheard. 195-228
- Open Problems in Logic and GamesJohan van Benthem. 229-264
- Nonmonotonic ReasoningAlexander Bochman. 265-308
- Compiled Labelled Deductive Systems for Access ControlKrysia Broda, Alessandra Russo. 309-338
- Quantum Logic of Semantic Space: An Exploratory Investigation of Context Effects in Practical ReasoningPeter Bruza, Richard J. Cole. 339-362
- Fibring Logics: Past, Present and FutureCarlos Caleiro, Amílcar Sernadas, Cristina Sernadas. 363-388
- Splitting LogicsWalter Alexandre Carnielli, Marcelo E. Coniglio. 389-414
- Indistinguishability by DefaultAriel Cohen, Michael Kaminski, Johann A. Makowsky. 415-428
- Classical Natural DeductionMarcello D Agostino. 429-468
- Neural-Symbolic Systems and the Case for Non-Classical ReasoningArtur S. d Avila Garcez, Luís C. Lamb. 469-488
- How Many First-order Variables are Needed on Finite Ordered Structures?Anuj Dawar. 489-520
- Planning in Answer Set Programming using Ordered Task DecompositionJürgen Dix, Ugur Kuter, Dana S. Nau. 521-576
- Negation and Involutive AdjunctionsKosta Dosen, Zoran Petric. 577-586
- Modal Tableaux: Completeness vs. TerminationLuis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade. 587-614
- Mathematical Foundations of Answer Set ProgrammingPaolo Ferraris, Vladimir Lifschitz. 615-664
- A Mistake on My PartMelvin Fitting. 665-670
- DAG Sequents with SubstitutionMarcelo Finger. 671-686
- Polymorphic Quantifiers and Underspecification in Natural LanguageChris Fox, Shalom Lappin. 687-700
- Some Formal Considerations on Gabbay s Restart Rule in Natural Deduction and Goal-Directed ReasoningMichael Gabbay, Murdoch Gabbay. 701-730
- a-logicMurdoch Gabbay, Michael Gabbay. 731-764