Hybrid Logic and its Proof-Theory
By: by Torben Braüner
Contributors: SpringerLink (Online service)
Series: Applied Logic Series -- v. 37
Publisher: Springer Science+Business Media B.V.
Published: 2011
Place of publication: Dordrecht
Language: eng
Format: [electronic resource] /
ISBN-13: 9789400700017; 9789400700024
Subjects: Philosophy (General); Symbolic and mathematical Logic; Computer science; Logic