Skip to main content
Springer Nature Link
Account

Logical Foundations of Computer Science

International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Sergei N. Artemov
  2. Anil Nerode

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

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

Included in the following conference series:

Conference proceedings info: LFCS 2007.

  • 20k Accesses

  • 5 Citations

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

Access this book

Log in via an institution
Softcover Book USD 54.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

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (35 papers)

  1. Front Matter

    Download chapter PDF

  2. Justified and Common Knowledge: Limited Conservativity

    • Evangelia Antonakos
    Pages 1-11

  3. The Intensional Lambda Calculus

    • Sergei Artemov, Eduardo Bonelli
    Pages 12-25

  4. Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers

    • Arnon Avron, Anna Zamansky
    Pages 26-40

  5. Elementary Differential Calculus on Discrete and Hybrid Structures

    • Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel Rivera
    Pages 41-53

  6. Weighted Distributed Systems and Their Logics

    • Benedikt Bollig, Ingmar Meinecke
    Pages 54-68

  7. Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!

    • Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
    Pages 69-83

  8. On Decidability and Expressiveness of Propositional Interval Neighborhood Logics

    • Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
    Pages 84-99

  9. Reasoning About Sequences of Memory States

    • Rémi Brochenin, Stéphane Demri, Etienne Lozes
    Pages 100-114

  10. Cut Elimination in Deduction Modulo by Abstract Completion

    • Guillaume Burel, Claude Kirchner
    Pages 115-131

  11. Density Elimination and Rational Completeness for First-Order Logics

    • Agata Ciabattoni, George Metcalfe
    Pages 132-146

  12. Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus

    • Robert Constable, Wojciech MoczydÅ‚owski
    Pages 147-161

  13. Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics

    • J. M. Davoren
    Pages 162-179

  14. A Decidable Temporal Logic of Repeating Values

    • Stéphane Demri, Deepak D’Souza, Régis Gascon
    Pages 180-194

  15. Model Checking Knowledge and Linear Time: PSPACE Cases

    • Kai Engelhardt, Peter Gammie, Ron van der Meyden
    Pages 195-211

  16. Realizations and LP

    • Melvin Fitting
    Pages 212-223

  17. Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking

    • R. Gentilini, K. Schneider, B. Mishra
    Pages 224-240

  18. Explicit Proofs in Formal Provability Logic

    • Evan Goris
    Pages 241-253

  19. A Synthesis Algorithm for Hybrid Systems

    • Srikanth Gottipati, Anil Nerode
    Pages 254-268

  20. Including the Past in ‘Topologic’

    • Bernhard Heinemann
    Pages 269-283
Back to top

Other volumes

  1. Logical Foundations of Computer Science

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top