Skip to main content
SpringerLink
Log in
Book cover

Logic, Language, Information, and Computation

25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Lawrence S. Moss

    1. Department of Mathematics, Indiana University, Bloomington, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ruy de Queiroz

    1. Centro de Informática, Univ Federal de Pernambuco (UFPE), Recife, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Maricarmen Martinez

    1. Universidad de los Andes, Bogotá, Colombia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10944)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: WoLLIC 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 74.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Pages I-XVIII
    Download chapter PDF

  2. Inhabitants of Intuitionistic Implicational Theorems

    • Katalin Bimbó
    Pages 1-24

  3. Symbolic Reasoning Methods in Rewriting Logic and Maude

    • José Meseguer
    Pages 25-60

  4. A Semantical View of Proof Systems

    • Elaine Pimentel
    Pages 61-76

  5. A Formalization of Brouwer’s Argument for Bar Induction

    • Ryota Akiyoshi
    Pages 77-90

  6. Deciding Open Definability via Subisomorphisms

    • Carlos Areces, Miguel Campercholi, Pablo Ventura
    Pages 91-105

  7. APAL with Memory Is Better

    • Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval
    Pages 106-129

  8. Lindenbaum and Pair Extension Lemma in Infinitary Logics

    • Marta Bílková, Petr Cintula, Tomáš Lávička
    Pages 130-144

  9. The Epistemology of Nondeterminism

    • Adam Bjorndahl
    Pages 145-162

  10. Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic

    • Luis Henrique Bustamante, Ana Teresa Martins, Francicleber Ferreira Martins
    Pages 163-178

  11. Unification Modulo Builtins

    • Ştefan Ciobâcă, Andrei Arusoaie, Dorel Lucanu
    Pages 179-195

  12. Formalization of the Undecidability of the Halting Problem for a Functional Language

    • Thiago Mendonça Ferreira Ramos, César Muñoz, Mauricio Ayala-Rincón, Mariano Moscato, Aaron Dutle, Anthony Narkawicz
    Pages 196-209

  13. Handling Verb Phrase Anaphora with Dependent Types and Events

    • Daniyar Itegulov, Ekaterina Lebedeva
    Pages 210-222

  14. Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving

    • Akitoshi Kawamura, Florian Steinberg, Holger Thies
    Pages 223-236

  15. Advanced Kripke Frame for Quantum Logic

    • Tomoaki Kawano
    Pages 237-249

  16. The Undecidability of Orthogonal and Origami Geometries

    • J. A. Makowsky
    Pages 250-270

  17. Algebraic Semantics for Nelson’s Logic \(\mathcal {S}\)

    • Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks
    Pages 271-288

  18. Beliefs Based on Evidence and Argumentation

    • Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada
    Pages 289-306

  19. The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents

    • Sonja Smets, Anthia Solaki
    Pages 307-324

  20. Back Matter

    Pages 325-325
    Download chapter PDF
Back to top

Other volumes

  1. Logic, Language, Information, and Computation

Keywords

About this book

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. The 16 full papers together with 3 short papers and 3 invited talks presented were fully reviewed and selected from 30 submissions. The vision for the conference is to provide an annual forum which is large enough to provide meaningful interactions between logic and the sciences related to information and computation.

Editors and Affiliations

  • Department of Mathematics, Indiana University, Bloomington, USA

    Lawrence S. Moss

  • Centro de Informática, Univ Federal de Pernambuco (UFPE), Recife, Brazil

    Ruy de Queiroz

  • Universidad de los Andes, Bogotá, Colombia

    Maricarmen Martinez

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation