Kripke's worlds

an introduction to modal logics via tableaux

Verfasser / Beitragende:
Olivier Gasquet ... [et al.]
Ort, Verlag, Jahr:
Basel [etc.] : Birkhäuser, 2014
Beschreibung:
XV, 198 S. : Ill. ; 24 cm
Format:
Buch
Online Zugang:
Inhaltsverzeichnis
ID: 317489003
LEADER cam a22 4500
001 317489003
003 CHVBK
005 20200930102442.0
008 140703s2014 sz a 00 0 eng d
015 |a GBB1-A3459  |2 bnb 
020 |a 978-3-7643-8503-3 
035 |a (SNL)991000959709703976 
035 |a (IDSBB)006273242 
035 |a (NEBIS)010060082 
035 |a (Sz)1750994-41snl_51 
035 |a (Sz)vtls001750994 
035 |a (Sz)001750994 
035 |a (OCoLC)751836964 
040 |a Sz  |c Sz 
082 7 4 |a 510  |2 23sdnb 
082 0 |a 511.31  |2 23 
245 0 0 |a Kripke's worlds  |b an introduction to modal logics via tableaux  |c Olivier Gasquet ... [et al.] 
260 |a Basel [etc.]  |b Birkhäuser  |c cop. 2014 
300 |a XV, 198 S.  |b Ill.  |c 24 cm 
490 1 |a Studies in universal logic 
500 |a Register 
504 |a Literaturverz. 
650 7 |a Tableau  |0 (DE-588)4590468-6  |2 gnd 
650 7 |a Modallogik  |0 (DE-588)4074914-9  |2 gnd 
650 0 |a Nonclassical mathematical logic (US-DLC) 
650 7 |a Mathematische Logik  |0 (DE-588)4037951-6  |2 gnd 
650 7 |a AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK)  |x ger  |0 (ETHUDK)000012522  |2 ethudk 
650 7 |a GRAPHENMODELLE (GRAPHENTHEORIE)  |x ger  |0 (ETHUDK)000052230  |2 ethudk 
650 7 |a MODALE LOGIK (MATHEMATISCHE LOGIK)  |x ger  |0 (ETHUDK)000012513  |2 ethudk 
650 7 |a MODELLTHEORIE (MATHEMATISCHE LOGIK)  |x ger  |0 (ETHUDK)000012525  |2 ethudk 
650 7 |a TABLEAUS (MATHEMATISCHE LOGIK)  |x ger  |0 (ETHUDK)000044330  |2 ethudk 
691 7 |a sb  |b 2014/13  |c 510  |k bs  |2 snl-sb 
691 7 |B u  |a GRAPHENMODELLE (GRAPHENTHEORIE)  |z ger  |u 519.17,0  |2 nebis E1 
691 7 |B u  |a MODALE LOGIK (MATHEMATISCHE LOGIK)  |z ger  |u 510.643  |2 nebis E1 
691 7 |B u  |a TABLEAUS (MATHEMATISCHE LOGIK)  |z ger  |u 510.662,41  |2 nebis E1 
691 7 |B u  |a AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK)  |z ger  |u 510.662,5  |2 nebis E1 
691 7 |B u  |a MODELLTHEORIE (MATHEMATISCHE LOGIK)  |z ger  |u 510.67  |2 nebis E1 
691 7 |B u  |a GRAPH MODELS (GRAPH THEORY)  |z eng  |u 519.17,0  |2 nebis E1 
691 7 |B u  |a MODÈLES GRAPHIQUES (THÉORIE DES GRAPHES)  |z fre  |u 519.17,0  |2 nebis E1 
691 7 |B u  |a MODAL LOGIC (MATHEMATICAL LOGIC)  |z eng  |u 510.643  |2 nebis E1 
691 7 |B u  |a LOGIQUE MODALE (LOGIQUE MATHÉMATIQUE)  |z fre  |u 510.643  |2 nebis E1 
691 7 |B u  |a TABLEAUX (MATHEMATICAL LOGIC)  |z eng  |u 510.662,41  |2 nebis E1 
691 7 |B u  |a TABLEAUX (LOGIQUE MATHÉMATIQUE)  |z fre  |u 510.662,41  |2 nebis E1 
691 7 |B u  |a DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE)  |z fre  |u 510.662,5  |2 nebis E1 
691 7 |B u  |a AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC)  |z eng  |u 510.662,5  |2 nebis E1 
691 7 |B u  |a MODEL THEORY (MATHEMATICAL LOGIC)  |z eng  |u 510.67  |2 nebis E1 
691 7 |B u  |a THÉORIE DES MODÈLES (LOGIQUE MATHÉMATIQUE)  |z fre  |u 510.67  |2 nebis E1 
700 1 |a Gasquet  |D Olivier 
710 2 |a Birkhäuser  |g Firma  |0 (DE-588)16113674-6  |e Verlag  |4 pbl 
830 0 |a Studies in universal logic  |7 (Sz)001534799 
856 4 1 |u https://opac.admin.ch/toc/toc001750994.pdf  |y Inhaltsverzeichnis 
898 |a BK020000  |b XK020000  |c XK020000 
909 7 |a zbzmon201409l  |c dome  |d zbzswk201410b  |e tschu  |2 idszbz Z2 
912 7 |a mt  |2 SzZuIDS BS/BE 
912 7 |a ZB510  |2 Z01 
912 7 |a 121  |2 E01-20140505 
912 7 |a 124  |2 E01-20140505 
949 |B SNL  |F NB001  |b NB001  |j Nb 177969  |c NB10010 
949 |B IDSBB  |F A100  |b A100  |c 100FM  |j UBH Kt 22274  |x NELA1001407 / g/2014/L80115 
949 |B IDSBB  |F A216  |b A216  |c MAG  |j MAT 03B KR KRIPKE  |x NELA2161611 
950 |B SNL  |P 490  |E 1-  |a Studies in universal logic 
950 |B SNL  |P 700  |E 1-  |a Gasquet  |D Olivier 
950 |B SNL  |P 710  |E 2-  |a Birkhäuser  |g Firma  |0 (DE-588)16113674-6  |e Verlag  |4 pbl 
950 |B SNL  |P 830  |E --  |a Studies in universal logic  |7 (Sz)001534799 
950 |B SNL  |P 856  |E 41  |u https://opac.admin.ch/toc/toc001750994.pdf  |y Inhaltsverzeichnis 
950 |B IDSBB  |P 490  |E 0-  |a Studies in Universal Logic 
950 |B IDSBB  |P 700  |E 1-  |a Gasquet  |D Olivier 
950 |B NEBIS  |P 490  |E --  |a Studies in universal logic 
950 |B NEBIS  |P 700  |E 1-  |a Gasquet  |D Olivier 
956 4 |B NEBIS  |C EAD50  |u https://opac.nebis.ch/objects/pdf03/e01_978-3-7643-8503-3_01.pdf  |y Titelblatt und Inhaltsverzeichnis  |x VIEW  |q pdf 
956 4 |B NEBIS  |C EAD50  |u https://opac.nebis.ch/objects/pdf03/e01_978-3-7643-8503-3_02.pdf  |y Abstract / Autoreninformation  |x VIEW  |q pdf 
956 4 |B IDSBB  |C DSV51  |D DSV01  |a A100  |u http://www.ub.unibas.ch/tox/IDSBB/006273242/PDF  |q pdf  |x VIEW  |y Inhaltsverzeichnis 
986 |a SWISSBIB  |b 317489003 

Thema