Hybrid Logic and its Proof-Theory

Nonfiction, Science & Nature, Mathematics, Logic, Religion & Spirituality, Philosophy
Cover of the book Hybrid Logic and its Proof-Theory by Torben Braüner, Springer Netherlands
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Torben Braüner ISBN: 9789400700024
Publisher: Springer Netherlands Publication: November 17, 2010
Imprint: Springer Language: English
Author: Torben Braüner
ISBN: 9789400700024
Publisher: Springer Netherlands
Publication: November 17, 2010
Imprint: Springer
Language: English

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).

More books from Springer Netherlands

Cover of the book Recent Studies in Geophysical Hazards by Torben Braüner
Cover of the book Freedom and Enforcement in Action by Torben Braüner
Cover of the book Magnetic Resonance Imaging of Bone and Soft Tissue Tumors and Their Mimics by Torben Braüner
Cover of the book Breeding strategies for sustainable forage and turf grass improvement by Torben Braüner
Cover of the book IAENG Transactions on Engineering Technologies by Torben Braüner
Cover of the book Problems in Historical Epistemology by Torben Braüner
Cover of the book The Trophic Spectrum Revisited by Torben Braüner
Cover of the book Constructivity and Computability in Historical and Philosophical Perspective by Torben Braüner
Cover of the book Sociobiology and Epistemology by Torben Braüner
Cover of the book Internal War and the Search for Normative Order by Torben Braüner
Cover of the book The Metaphysics of G. E. Moore by Torben Braüner
Cover of the book Water Pollution and Abatement Policy in India by Torben Braüner
Cover of the book The Other Side of Criminology by Torben Braüner
Cover of the book Basic Problems in Methodology and Linguistics by Torben Braüner
Cover of the book Québec Studies in the Philosophy of Science by Torben Braüner
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy