Theoretical Computer Science and General Issues

Logic and Its Applications

5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings

Editors: Lodaya, Kamal (Ed.)

  • Up to date results
  • State of the art research
  • Fast track conference proceedings
see more benefits

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-36039-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-36038-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013. The 15 revised full papers presented together with 7 invited talks were carefully reviewed and selected from numerous submissions. The papers cover the topics related to pure and applied logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence and other disciplines which are of direct interest to mathematical and philosophical logic.

Table of contents (22 chapters)

  • Constructive Decision Theory

    Blume, Lawrence E. (et al.)

    Pages 1-4

  • Bisimulation and Coverings for Graphs and Hypergraphs

    Otto, Martin

    Pages 5-16

  • Forcing Axioms, Finite Conditions and Some More

    Džamonja, Mirna

    Pages 17-26

  • A Note on Axiomatisations of Two-Dimensional Modal Logics

    Kurucz, Agi

    Pages 27-33

  • The Birth of Proof: Modality and Deductive Reasoning

    Rini, Adriane

    Pages 34-49

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-36039-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-36038-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic and Its Applications
Book Subtitle
5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings
Editors
  • Kamal Lodaya
Series Title
Theoretical Computer Science and General Issues
Series Volume
7750
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-36039-8
DOI
10.1007/978-3-642-36039-8
Softcover ISBN
978-3-642-36038-1
Edition Number
1
Number of Pages
X, 259
Number of Illustrations and Tables
18 b/w illustrations
Topics