fatuity
发表于 2025-3-23 13:44:49
http://reply.papertrans.cn/44/4302/430124/430124_11.png
myelography
发表于 2025-3-23 17:30:21
Tableaus and Decision Procedures for Hybrid Logic,s chapter are taken from Bolander and Braüner (2006). The material in the third section is new (but the tableau systems considered in the third section are obtained by directly modifying the tableau system given in the second section, inspired by a tableau-based decision procedure given in Bolander
HAIRY
发表于 2025-3-23 20:28:13
1386-2790Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).978-94-007-3435-7978-94-007-0002-4Series ISSN 1386-2790
老巫婆
发表于 2025-3-24 01:15:17
http://reply.papertrans.cn/44/4302/430124/430124_14.png
judiciousness
发表于 2025-3-24 04:57:00
Torben BraünerFirst book-length treatment of hybrid logic and its proof-theory.Gives detailed introduction to propositional, first-order, and intuitionistic hybrid logic.Gives detailed exposition of deductive syste
cardiac-arrest
发表于 2025-3-24 09:09:14
Applied Logic Serieshttp://image.papertrans.cn/h/image/430124.jpg
策略
发表于 2025-3-24 12:56:21
978-94-007-3435-7Springer Science+Business Media B.V. 2011
远地点
发表于 2025-3-24 15:53:50
Hybrid Logic and its Proof-Theory978-94-007-0002-4Series ISSN 1386-2790
Compass
发表于 2025-3-24 22:32:02
https://doi.org/10.1007/978-94-007-0002-4Computational Logic; Logic; Mathematical logic; Philosophical logic
Accolade
发表于 2025-3-25 02:41:23
http://reply.papertrans.cn/44/4302/430124/430124_20.png