Kripke's Worlds (Studies in Universal Logic) （2013. xv, 198 S. 73 SW-Abb. 240 mm）

By Oliveri Gasquet, Andreas Herzig, Bilal Said et al.

SPRINGER, BASEL; BIRKHÄUSER BASEL（2013発売）

• 製本 Paperback:紙装版/ペーパーバック版
• 商品コード 9783764385033

Full Description

Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, several paraconsistent and relevant logics).