Hybrid logic and its proof theory

✍ Scribed by Braüner, Torben

Publisher: Springer
Year: 2011
Tongue: English
Leaves: 246
Series: Applied logic series 37
Category: Library

No coin nor oath required. For personal study only.

✦ Table of Contents

Content: Introduction to hybrid logic. Informal motivation
Formal syntax and semantics
The origin of hybrid logic in prior's work
The development since prior --
Proof-theory of propositional hybrid logic. The basics of natural deduction systems
Natural deduction for propositional hybrid logic
The basics of Gentzen systems
Gentzen systems for propositional hybrid logic
Axiom systems for propositional hybrid logic --
Tableaus and decision procedures for hybrid logic. The basics of tableau systems
A tableau system including the universal modality
The tableau systems reformulated as Gentzen systems
Discussion --
Comparison to Seligman's natural deduction system. The natural deduction systems under consideration
Translation from Seligman-style derivations
Translation to Seligman-style derivations
Reduction rules
Discussion --
Functional completeness for a hybrid logic. The natural deduction system under consideration
Introduction to functional completeness
The general rule schemas
Functional completeness
Discussion --
First-order hybrid logic. Introduction to first-order hybrid logic
Natural deduction for first-order hybrid logic
Axiom systems for first-order hybrid logic --
Intentional first-order hybrid logic. Introduction to intensional first-order hybrid logic
Natural deduction for intensional first-order hybrid logic
Partial intensions --
Intuitionistic hybrid logic. Introduction to intuitionistic hybrid logic
Natural deduction for intuitionistic hybrid logic
Axiom systems for intuitionistic hybrid logic
Axiom systems for a paraconsistent hybrid logic
A Curry-Howard interpretation of intuitionistic hybrid logic --
Labelled versus internalized natural deduction. A labelled natural deduction system for modal logic
The internalization translation
Reductions
Comparison of reductions --
Why does the proof-theory of hybrid logic behave so well?. The success criteria
Why hybrid-logical proof-theory behaves so well
Comparison to internalization of bivalent semantics
Some concluding philosophical remarks.

✦ Subjects

Proof theory.;Logic, Symbolic and mathematical.

📜 SIMILAR VOLUMES

Hybrid Logic and its Proof-Theory

📁 Hybrid Logic and its Proof-Theory

✍ Torben Braüner 📂 Library 📅 2011 🏛 Springer 🌐 English

Hybrid Logic and its Proof-Theory

📁 Hybrid Logic and its Proof-Theory

✍ Torben Braüner (auth.) 📂 Library 📅 2011 🏛 Springer 🌐 English

Proof Theory and Logical Complexity: Vol

📁 Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)

✍ Jean-Yves Girard 📂 Library 📅 1990 🌐 English

Hardbound. This volume is the first in a series which will, in the future, be published jointly by Bibliopolis, Edizioni di Filosofia e Scienze spa, Napoli, and under the North-Holland imprint by Elsevier Science Publishers, Amsterdam.This is the first of a two-part work covering the main ideas and

Proof Theory and Algebra in Logic

📁 Proof Theory and Algebra in Logic

✍ Hiroakira Ono 📂 Library 📅 2019 🏛 Springer Singapore 🌐 English

<p>This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been increasingly recognized in recent years. It highlights the contrasts between the deep, concrete re

Reductive Logic and Proof-Search: Proof

📁 Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

✍ David J. Pym, Eike Ritter 📂 Library 📅 2004 🏛 Oxford University Press, USA 🌐 English

Drawing somewhat on the techniques and culture of philosophy, but mostly on those of mathematics and computing, Pyn (U. of Bath) and Ritter (U. of Birmingham) introduce reductive logic and proof-search. They argue that the reductive view of logic is at least as fundamental as the deductive view; ide

Reductive logic and proof-search: Proof

📁 Reductive logic and proof-search: Proof theory, semantics, and control

✍ David J. Pym, Eike Ritter 📂 Library 📅 2004 🏛 Clarendon Press 🌐 English

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its m