Sign-In
Cart
Hybrid Logic and Its Proof-Theory
Hardcover
Series: Applied Logic, Book 37
Please select the version of book you would like to purchase.
ISBN10: 9400700016
ISBN13: 9789400700017
Publisher: Springer Nature
Published: Nov 30 2010
Pages: 231
Weight: 1.10
Height: 0.80 Width: 6.50 Depth: 9.40
Language: English
ISBN13: 9789400700017
Publisher: Springer Nature
Published: Nov 30 2010
Pages: 231
Weight: 1.10
Height: 0.80 Width: 6.50 Depth: 9.40
Language: English
Preface, .- 1 Introduction to Hybrid Logic.- 2 Proof-Theory of Propositional Hybrid Logic .- 3 Tableaus and Decision Procedures for Hybrid Logic .- 4 Comparison to Seligman's Natural Deduction System .- 5 Functional Completeness for a Hybrid Logic .- 6 First-Order Hybrid.- 7 Intensional First-Order Hybrid Logic.- 8 Intuitionistic Hybrid Logic.- 9 Labelled Versus Internalized Natural Deduction .- 10 Why does the Proof-Theory of Hybrid Logic Behave soWell? - References .- Index.
1 different editions
Also available
Also in
Logic
The Fallacy Detective: Thirty-Eight Lessons on How to Recognize Bad Reasoning
Bluedorn, Hans
Bluedorn, Nathaniel
Paperback
$35.00
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends 1
Carley, Shane
Paperback
$12.30
The Thinking Toolbox: Thirty-Five Lessons That Will Build Your Reasoning Skills
Bluedorn, Hans
Bluedorn, Nathaniel
Paperback
$35.00
Mastering Logical Fallacies: The Definitive Guide to Flawless Rhetoric and Bulletproof Logic
Withey, Michael
Paperback
$16.14
Walden - On Walden Pond - Life in the Woods - The Transcendentalist Masterpiece
Thoreau, Henry David
Paperback
$16.24
True Facts That Sound Like Bull$#*t: 500 Insane-But-True Facts That Will Shock and Impress Your Friends
Carley, Shane
Hardcover
$18.95
The Pig That Wants to Be Eaten: 100 Experiments for the Armchair Philosopher
Baggini, Julian
Paperback
$17.10
The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number
Frege, Gottlob
Paperback
$30.00
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
Bennett, Bo
Hardcover
$47.45
Socratic Logic: Edition 3.1: A Logic Text Using Socratic Method, Platonic Questions, & Aristotelian Principles
Kreeft, Peter
Hardcover
$63.00
The Art of Logical Thinking: Inductive, Deductive and Hypothetical Reasoning and the Use of Syllogisms and Fallacies
Atkinson, William Walker
Paperback
$11.23
Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)
Bennett, Bo
Paperback
$28.45
Good Reasoning Matters!: A Guide to Critical Thinking in a Digital Age, Sixth Edition
Carozza, Linda
Tindale, Christopher W.
Groarke, Leo
Paperback
$104.93
The Power of Critical Thinking: Effective Reasoning about Ordinary and Extraordinary Claims
Vaughn, Lewis
Paperback
$154.49
Nonsense: Red Herrings, Straw Men and Sacred Cows: How We Abuse Logic in Our Everyday Language
Gula, Robert J.
Paperback
$11.40
Deleuze's Philosophy of Time and Logic: Kant, Bergson, and the Labyrinth of the Continuum
Paetsch, Charles John
Hardcover
$172.50
Swirling Symmetry: Thoughts and Images on Mathematics, Motion & Pattern
Coleman, Sandra DeLozier
Hardcover
$23.70
The Critical Thinking Toolkit: Your Guide to Success in Learning, Thinking and Writing at University
Beesley, Paula
Cooke, Belinda
Morris, Laurence
Paperback
$35.00
The Duck That Won the Lottery: 100 New Experiments for the Armchair Philosopher
Baggini, Julian
Paperback
$22.00
Tractatus Logico-Philosophicus (Chiron Academic Press - The Original Authoritative Edition)
Wittgenstein, Ludwig
Paperback
$9.13
The Critical Thinking Toolkit: Your Guide to Success in Learning, Thinking and Writing at University
Beesley, Paula
Cooke, Belinda
Morris, Laurence
Hardcover
$58.80
Master Your Mind: Critical-Thinking Exercises and Activities to Boost Brain Power and Think Smarter
Danesi, Marcel
Paperback
$15.19
Gateway to the Stoics: Marcus Aurelius's Meditations, Epictetus's Enchiridion, and Selections from Seneca's Letters
Seneca
Aurelius, Marcus
Epictetus
Paperback
$17.10
With All Your Mind: A Course on Logic and Argument for the Christian Classroom
Finkbeiner, Brad Paul
Paperback
$23.99
How to Think about the Great Ideas: From the Great Books of Western Civilization
Adler, Mortimer
Paperback
$49.35
One: Being an Investigation Into the Unity of Reality and of Its Parts, Including the Singular Object Which Is Nothingness
Priest, Graham
Hardcover
$166.75
The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness
Prince, Hal
Paperback
$11.64
Critical Thinking: Tools for Taking Charge of Your Professional and Personal Life
Elder, Linda
Paul, Richard
Hardcover
$70.00
Critical Reasoning: A Romp through the Foothills of Logic for the Complete Beginner
Talbot, Marianne
Paperback
$27.59
The Theory of Moral Sentiments (Royal Collector's Edition) (Case Laminate Hardcover with Jacket)
Smith, Adam
Hardcover
$62.49
Good Thinking: Why Flawed Logic Puts Us All at Risk and How Critical Thinking Can Save the World
Grimes, David Robert
Paperback
$17.05
Autonomy, Consciousness, and Personhood: A Primer for the Public Dialogue on Abortion
Bujno, Stephen
Hardcover
$54.15
Playing God with Emerging Technologies: How to Avoid the Traps of Techno-Optimism and Techno-Pessimism
Mizrahi, Moti
Hardcover
$165.00
Stoic Quotes: 365 Daily Reflections & Thoughts of Wisdom to Strengthen your Perspective.
Harris, Tate
Paperback
$12.34