The logic of time: a model-theoretic investigation into the varieties of temporal ontology and temporal discourse

Saved in:  
Bibliographic Details
Main Author: Benthem, Johan van 1949- (Author)
Format: Print Book
Language:English
Subito Delivery Service: Order now.
Check availability: HBZ Gateway
Fernleihe:Fernleihe für die Fachinformationsdienste
Published: Dordrecht Boston London Kluwer Academic Publishers [1991]
In: Synthese <Dordrecht> / Library (volume 156)
Year: 1991
Edition:Second edition
Series/Journal:Synthese <Dordrecht> / Library volume 156
Standardized Subjects / Keyword chains:B Time / Logic / Ontology
B Temporal logic / Model-theory
B Time / Model-theory
Further subjects:B Tense (Logic)
B Ontology
B TENSE (Grammar)
B Time
B Tense (Grammar)
Online Access: Autorenbiografie (Verlag)
Cover
Inhaltstext (Verlag)

MARC

LEADER 00000cam a2200000 4500
001 27264689X
003 DE-627
005 20230426073922.0
007 tu
008 920511s1991 ne ||||| 00| ||eng c
020 |a 0792310810  |c  : gb.  |9 0-7923-1081-0 
035 |a (DE-627)27264689X 
035 |a (DE-576)025596268 
035 |a (DE-599)GBV27264689X 
035 |a (OCoLC)22892655 
035 |a (OCoLC)231222174 
035 |a (OCoLC)22892655 
035 |a (ZBM)0758.03012 
035 |a (DE-604)804538729x 
035 |a (ZBM)0758.03012 
040 |a DE-627  |b ger  |c DE-627  |e rda 
041 |a eng 
044 |c XA-NL  |c XD-US  |c XA-GB 
050 0 |a BC199.T4 
082 0 |a 115 
084 |a 1  |2 ssgn 
084 |a CC 6320  |2 rvk  |0 (DE-625)rvk/17656: 
084 |a ST 120  |2 rvk  |0 (DE-625)rvk/143585: 
084 |a ET 660  |2 rvk  |0 (DE-625)rvk/28014: 
084 |a *03B45  |2 MSC 
084 |a 03C99  |2 MSC 
084 |a 03-01  |2 MSC 
084 |a 03-02  |2 MSC 
084 |a 03A05  |2 MSC 
084 |a 08.31  |2 bkl 
090 |a a 
100 1 |e VerfasserIn  |0 (DE-588)124543286  |0 (DE-627)363410228  |0 (DE-576)160247071  |4 aut  |a Benthem, Johan van  |d 1949- 
109 |a Van Benthem, J. 1949-  |a Gamut, L. T. F. 1949-  |a Van Benthem, J. F. A. K. 1949-  |a Benthem, Johann F. A. K. van 1949-  |a Benthem, Johan F. van 1949-  |a Benthem, Johannes Franciscus Abraham Karel van 1949-  |a Benthem, Johan F. A. K. van 1949-  |a Benthem, Johannes F. van 1949-  |a Benthem, Johan Franciscus Abraham Karel van 1949-  |a Benthem, J. van 1949-  |a Benthem, J. F. A. K. van 1949-  |a Benthem, J.F.A.K. van 1949-  |a Benthem, Johan van 1949-  |a Van Benthem, Johan 1949-  |a Van Benthem, Johan F. A. K. 1949- 
245 1 4 |a The logic of time  |b a model-theoretic investigation into the varieties of temporal ontology and temporal discourse  |c Johan van Benthem 
250 |a Second edition 
264 1 |a Dordrecht  |a Boston  |a London  |b Kluwer Academic Publishers  |c [1991] 
264 4 |c © 1991 
300 |a xxii, 280 Seiten  |b Diagramme  |c 23 cm 
336 |a Text  |b txt  |2 rdacontent 
337 |a ohne Hilfsmittel zu benutzen  |b n  |2 rdamedia 
338 |a Band  |b nc  |2 rdacarrier 
490 1 |a Synthese library  |v volume 156 
500 |a Literaturverzeichnis: Seite 250-253 
601 |a Ontologie 
650 0 |a Time 
650 0 |a Ontology 
650 0 |a TENSE (Grammar) 
650 0 |a Tense (Logic) 
653 0 |a Time 
653 0 |a Ontology 
653 0 |a Tense (Grammar) 
653 0 |a Tense (Logic) 
689 0 0 |d s  |0 (DE-588)4067461-7  |0 (DE-627)104297727  |0 (DE-576)20916994X  |2 gnd  |a Zeit 
689 0 1 |d s  |0 (DE-588)4036202-4  |0 (DE-627)106243772  |0 (DE-576)209017082  |2 gnd  |a Logik 
689 0 2 |d s  |0 (DE-588)4075660-9  |0 (DE-627)106085344  |0 (DE-576)209198907  |2 gnd  |a Ontologie 
689 0 |5 (DE-627) 
689 1 0 |d s  |0 (DE-588)4137542-7  |0 (DE-627)10465340X  |0 (DE-576)209678496  |2 gnd  |a Temporale Logik 
689 1 1 |d s  |0 (DE-588)4114617-7  |0 (DE-627)105820873  |0 (DE-576)209486112  |2 gnd  |a Modelltheorie 
689 1 |5 (DE-627) 
689 2 0 |d s  |0 (DE-588)4059446-4  |0 (DE-627)104757361  |0 (DE-576)209130792  |2 gnd  |a Tempus 
689 2 1 |d s  |0 (DE-588)4114617-7  |0 (DE-627)105820873  |0 (DE-576)209486112  |2 gnd  |a Modelltheorie 
689 2 |5 (DE-627) 
830 0 |a Synthese <Dordrecht> / Library  |v volume 156  |9 15600  |w (DE-627)130721603  |w (DE-576)004093119  |w (DE-600)970972-1  |x 0082-1128 
856 4 2 |u https://zbmath.org/?q=an:0758.03012  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz025596268cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20150428103259  |3 Cover 
856 4 2 |u http://www.loc.gov/catdir/enhancements/fy0823/90023938-b.html  |x Verlag  |3 Autorenbiografie 
889 |w (DE-627)02585013X 
935 |a mteo 
935 |i mdedup 
935 |i sf 
935 |i Blocktest 
936 r v |a CC 6320  |b Raum, Zeit, Bewegung  |k Systematische Philosophie  |k Naturphilosophie  |k Raum, Zeit, Bewegung  |0 (DE-627)127063898X  |0 (DE-625)rvk/17656:  |0 (DE-576)20063898X 
936 r v |a ST 120  |b Grundlagen der Informatik  |k Monografien  |k Grundlagen der Informatik  |k Grundlagen der Informatik  |0 (DE-627)1271493888  |0 (DE-625)rvk/143585:  |0 (DE-576)201493888 
936 r v |a ET 660  |b Grammatische Kategorien (Kasus, Tempus, Modus usw.)  |k Einzelgebiete der Sprachwissenschaft, Sprachbeschreibung  |k Syntax  |k Einzelgebiete (der traditionellen wie der strukturellen Syntax)  |k Grammatische Kategorien (Kasus, Tempus, Modus usw.)  |0 (DE-627)1271119021  |0 (DE-625)rvk/28014:  |0 (DE-576)201119021 
936 b k |a 08.31  |j Metaphysik  |j Ontologie  |0 (DE-627)106402706 
951 |a BO 
ELC |b 1 
ITA |a 1 
LOK |0 000 xxxxxcx a22 zn 4500 
LOK |0 001 307963019X 
LOK |0 003 DE-627 
LOK |0 004 27264689X 
LOK |0 005 20100408044307 
LOK |0 008 050923||||||||||||||||ger||||||| 
LOK |0 040   |a DE-21-31  |c DE-627  |d DE-21-31 
LOK |0 541   |e 7188 (herm) 
LOK |0 852   |a DE-21-31 
LOK |0 852 1  |c Yi I b 6/2  |m p  |9 00 
LOK |0 938   |k p 
LOK |0 000 xxxxxcx a22 zn 4500 
LOK |0 001 3079630211 
LOK |0 003 DE-627 
LOK |0 004 27264689X 
LOK |0 005 20020411000000 
LOK |0 008 940119||||||||||||||||ger||||||| 
LOK |0 040   |a DE-21-108  |c DE-627  |d DE-21-108 
LOK |0 092   |o l 
LOK |0 541   |e 8238/93 
LOK |0 852   |a DE-21-108 
LOK |0 852 1  |c GD 330.181  |m p  |9 00 
LOK |0 936ln  |0 1288790309  |a GD 330 
LOK |0 938   |k p 
LOK |0 000 xxxxxcx a22 zn 4500 
LOK |0 001 3079630246 
LOK |0 003 DE-627 
LOK |0 004 27264689X 
LOK |0 005 20100406210914 
LOK |0 008 050820||||||||||||||||ger||||||| 
LOK |0 040   |a DE-21-46  |c DE-627  |d DE-21-46 
LOK |0 541   |e 94/17 
LOK |0 689   |a s  |0 1311359982  |a Logik 
LOK |0 852   |a DE-21-46 
LOK |0 852 1  |c D 4/1991,14  |m p  |9 00 
LOK |0 935   |a k046 
LOK |0 938   |k p 
ORI |a SA-MARC-ixtheoa001.raw 
REL |a 1 
STA 0 0 |a Logic,Philosophical logic,Model-theory,Ontology,Ontology,Being,Temporal logic,Time,Time,Time in art,Time,Verb 
STB 0 0 |a Logique,Logique temporelle,Ontologie,Ontologie,Temps,Temps,Temps,Temps (philosophie),Théorie des modèles 
STC 0 0 |a Lógica,Lógica temporal,Ontología,Ontología,Tempo,Tempo,Tiempo,Teoría de los modelos,Tiempo verbal 
STD 0 0 |a Logica,Logica temporale,Ontologia,Ontologia,Tempo verbale,Tempo (verbo),Tempo,Tempo,Tempo,Teoria dei modelli 
STE 0 0 |a 动词时态,存有论,本体论,存在论,时间,时间,模型论,逻辑,推理,推论 
STF 0 0 |a 動詞時態,時間,時間,本体 (信息科学),存有論,本體論,存在論,模型論,邏輯,推理,推論 
STG 0 0 |a Lógica,Lógica temporal,Ontologia,Ontologia,Tempo verbal,Tempo,Tempo,Teoria dos modelos 
STH 0 0 |a Время (мотив),Время,Время глагола,Логика,Модельная теория,Онтология (работа со знаниями),Онтология,Темпоральная логика 
STI 0 0 |a Θεωρία μοντέλων,Λογική,Οντολογία (επεξεργασία γνώσης),Οντολογία,Χρονική λογική,Χρόνος (μοτίβο),Χρόνος,Χρόνος <ρήμα>,Ρηματικός χρόνος 
SUB |a REL 
SYE 0 0 |a Time magazine 
SYG 0 0 |a Zeitstruktur , Philosophische Logik , Ontology,Ontology,Seinslehre,Seinsphilosophie , Zeitabhängige Logik,Zeitlogik,Temporal logic,Temporallogik , Verb,Zeit 

Similar Items

more