Gå direkt till innehållet
Hybrid Logic and its Proof-Theory
Spara

Hybrid Logic and its Proof-Theory

Författare:
inbunden, 2010
Engelska
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).
Författare
Torben Braüner
ISBN
9789400700017
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2010-11-30
Förlag
Springer
Sidor
231