Semantics of temporal models: with multiple temporal dimensions
In: Working paper / Institut for Informationsbehandling, Det Erhvervsøkonomiska Fakultet 124
In: Working paper / Institut for Informationsbehandling, Det Erhvervsøkonomiska Fakultet 124
SSRN
Working paper
In: LEP Library of Exact Philosophy 3
I The Background of Temporal Logic -- II Topological Logic -- 1. Introduction -- 2. The P-Operator -- 3. Three Basic Axioms -- 4. The Relation of P-Unqualified to P-Qualified Formulas: The Preferred Position ? : A Fourth Axiom -- 5. The Iteration of P: A Fifth Axiom and the Two Systems PI and PII -- 6. The Possible Worlds Interpretation of Topological Logic -- III Fundamental Distinctions for Temporal Logic -- 1. The Temporal Equivocality of IS -- 2. Translating Temporal to Atemporal IS -- 3. Temporally Definite and Indefinite Statements -- 4. The Implicit Ubiquity of "Now" in Tensed Statements -- 5. Dates and Pseudo-Dates -- 6. Times of Assertion -- 7. Two Styles of Chronology -- IV The Basic System R of Temporal Logic -- 1. The Concept of Temporal Realization -- 2. The Temporal Transparency of "Now" -- 3. Temporal Homogeneity -- 4. Axioms for the Logical Theory of Chronological Propositions -- 5. Temporal and Topological Logic -- 6. The Completeness and Decidability of R -- V The Introduction of Tense Operators -- 1. Presentness and Precedence -- 2. Tense -- VI The System Kt of Minimal Tense Logic -- 1. The Problem of a Minimal Tense Logic -- 2. Semantics for Tense Logic -- 3. Semantic Tableaux -- 4. The Completeness of Kt -- 5. Some Corollaries -- 6. Completeness of Kt with Respect to R -- VII Branching Time: The System Kb -- 1. Branching Structures -- 2. The Concept of an Open Future -- 3. The Logic of Branching Time -- 4. Axiomatization of Kb -- 5. Semantic Tableaux -- 6. Systematic Tableaux -- 7. Completeness Proof for Kb -- VIII Linear Time: The System Kl and Its Variants -- 1. The Logic of Linear Time, Kl -- 2. Extensions of Kl -- IX Additive Time: The Systems R? and R?± -- 1. Temporal-Groups and the System R? -- 2. Additive Temporal Logic and the System R?± -- X Metric Time and Chronological Logic: The System R+ -- 1. The Concept of Metric Time -- 2. Deriving a U-Relation from the Metric -- 3. The System R+ -- 4. "Distance" into Past and Future -- 5. Archimedeanism -- 6. Linear Realizability -- XI Tense Logical Characterizability and Definability -- 1. Expressibility and Characterizability -- 2. Tense-Logical Definability -- XII Temporal Modality -- 1. The Tensed Interpretation of Modality -- 2. Modality in Tense Logic -- 3. Further Definitions of Modality -- XIII Temporally Conditioned Descriptions and the Concept of Temporal Purity -- 1. Temporally Conditioned Descriptions -- 2. Chronological Purity -- 3. The "Purely Phenomenological" Characterization of the Occurrences of a Moment -- 4. The Absolute vs. the Relative Conception of Time -- XIV The Theory of Processes -- 1. What is a Process? -- 2. The Representation of Processes: Process Implications -- 3. Activities and Processes: Some Applicable Distinctions -- 4. Quasi-Processes: On Coming to Be and Passing Away -- 5. Stochastic vs. Deterministic Processes -- 6. Stochastic Processes and Branching Time -- 7. The Structure of Events -- XV The Logic of World States -- 1. The Concept of a World State -- 2. Some Further Perspectives on Instantaneous World States -- 3. The Concept of a World History -- 4. Development of R-calculi Within Tense Logic -- XVI The Dimensionality of Time -- XVII The "Master Argument" of Diodorus and Temporal Determinism -- 1. The "Master Argument" -- 2. Necessity and Determinism in the Context of the "Master Argument" -- 3. Evading the Deterministic Conclusion of the "Master Argument" -- 4. The Groundwork of a 3-Valued Conception of Temporal Truth -- 5. Alternative Futures and Future Contingency -- 6. Temporal Determination -- 7. Nomological Necessitation -- XVIII Many-Valued Approaches to Temporal Logic -- 1. A Mode of "Three-Valued" Tense Logic -- 2. A Many-Valued Articulation of Temporal Logic -- 3. A Three-Valued Tense Logic: Semantic Considerations -- 4. Generalizing the Preceding Approach -- XIX Propositional Quantification in Tensed Statements -- XX Quantification, Temporal Existence, and Identity -- 1. Individuals and Quantifiers -- 2. Quantification and Temporal Modality -- 3. Quantified Tense Logic -- 4. Temporal Change, Identity, and Leibniz' Law -- 5. Alternative Histories in Branching Time -- 6. Quantified Modal Logic in Branching Time -- Appendix I A Summary of Axiom Systems for Topological, Temporal and Modal Logics -- Appendix II The Modal Structure of Tense-Logical Systems -- Bibliography of Temporal Logic -- A. Chronological Listing -- B. Author Listing (Alphabetical) -- Index of Names.
International audience ; In this paper, we present GTE-Cluster an online temporal searchinterface which consistently allows searching for topics in a temporalperspective by clustering relevant temporal Web search results. GTE-Cluster isdesigned to improve user experience by augmenting document relevance withtemporal relevance. The rationale is that offering the user a comprehensivetemporal perspective of a topic is intuitively more informative than retrieving aresult that only contains topical information. Our system does not pose anyconstraint in terms of language or domain, thus users can issue queries in anylanguage ranging from business, cultural, political to musical perspective, tocite just a few. The ability to exploit this information in a temporal manner canbe, from a user perspective, potentially useful for several tasks, including userquery understanding or temporal clustering.
BASE
International audience ; In this paper, we present GTE-Cluster an online temporal searchinterface which consistently allows searching for topics in a temporalperspective by clustering relevant temporal Web search results. GTE-Cluster isdesigned to improve user experience by augmenting document relevance withtemporal relevance. The rationale is that offering the user a comprehensivetemporal perspective of a topic is intuitively more informative than retrieving aresult that only contains topical information. Our system does not pose anyconstraint in terms of language or domain, thus users can issue queries in anylanguage ranging from business, cultural, political to musical perspective, tocite just a few. The ability to exploit this information in a temporal manner canbe, from a user perspective, potentially useful for several tasks, including userquery understanding or temporal clustering.
BASE
Tatsächliche und gewünschte zeitliche Verteilung von
Lehrveranstaltungen bei Studierenden. Bedeutung von ´Zeit´. Beurteilung
des Studiums und der Studieninhalte. Zufriedenheit mit dem Studium, der
Freizeit und der studiumsbedingten Zeiteinteilung. Psychologische
Selbsteinschätzung.
Themen: Für das Erststudium und für ein evtl. Zweit- oder
Doppelstudium wurde erfragt: Studienfach, Studienphase, Fachbereich,
Fakultät, angestrebter Studienabschluss; Anzahl Studiensemester; Anzahl
Semester am Studienort; Flexibilität der Studienbedingungen (Skala:
Wahlfreiheit für die Teilnahme an Veranstaltungen, verpflichtendes
Literaturstudium, regelmäßige Teilnahmepflicht an Seminaren, Übungen
bzw. Lehrveranstaltungen, selbständige und freie Entscheidungen,
vorgeschriebener Studienplan, freie Arbeitseinteilung, genauer und
verbindlicher Studienplan, Regeln für Kontakt zu den Lehrenden, freie
Studienplangestaltung, externe Regelungen und Anweisungen); Entfernung
zwischen Wohnung und Universität in Kilometern; Verkehrsmittelnutzung
und Wegezeit; Beurteilung von sechzehn fiktiven Stundenplänen, bei
denen jeweils 16 Semesterwochenstunden (regelmäßige doppelstündige
Lehrveranstaltungen) nach verschiedenen Mustern über die Woche verteilt
wurden, hinsichtlich Präferenz, Stressfreiheit, Eignung für
erfolgreiches Studieren und Freizeitgestaltung; Angabe des
tatsächlichen Stundenplans und Beurteilung dessen hinsichtlich
Stressfreiheit, Eignung für erfolgreiches Studieren und
Freizeitgestaltung; präferierte ideale Stundenplanverteilung für 16
Semesterwochenstunden und Gründe dafür; Einstellung zur Bedeutung von
Zeit anhand ausgewählter Sinnsprüche und Redensarten (Skala);
Studienorientierung (Skala: Theoretisch anspruchvolles Studium
erleichtert Berufseinstieg, mit Prüfern persönlich gut auskommen,
Scheine langfristig und rationell planen, selbständiges
Auseinandersetzen mit Studieninhalten, Einlassen auf schwierige
Fachprobleme, Selbstverwirklichung im Fach, privater Kontakt zu
Lehrenden, Wichtigkeit praxisnaher Angebote, planvolles und effizientes
Arbeitsverhalten, Spaß an Studieninhalten, frühzeitige Orientierung auf
einen guten Examensabschluss, Wichtigkeit fachlicher Gespräche mit
Kommilitonen, Bedeutung von Lehrveranstaltungen bei sympathischen
Lehrenden, Studium Nebensache, Studium reich an Erfolgserlebnissen,
Examen in Ruhe auf sich zukommen lassen, Inkaufnahme von Stress und
Leerlauf, Arbeitsverhalten von Stimmungslage abhängig, Präferenz für
Gruppenarbeit, Orientierung auf gute Noten und Scheine);
durchschnittliche Freizeit an einem Semesterwochentag in Stunden;
Freizeitzufriedenheit; Häufigkeit von Tätigkeiten am Wochenende:
studiumbezogene Tätigkeiten, Erwerbstätigkeit, Haushalts- und
Familientätigkeiten; Zeitaufwand für ausgewählte studienbezogene
Tätigkeiten; Beschäftigung als Tutor oder studentische Hilfskraft und
Wochenstundenzahl; Erwerbstätigkeit während des Semesters; Wochentag
und Tageszeit mit besonderem Zeitdruck während einer normalen
Semesterwoche; Häufigkeit von Zeitdruck; Anzahl von Freunden und
Bekannten mit regelmäßigem Kontakt; Zeit für private Kontakte; Anzahl
aktiver Mitgliedschaften; Zeitaufwand für diese Mitgliedschaften;
Zufriedenheit mit der Freizeitgestaltung und dem dafür verfügbaren
Zeitumfang; persönliche Selbsteinschätzung (Gießen-Test: Geduld,
Lenkbarkeit von anderen, Gedanken über persönliche Probleme,
Unzufriedenheit mit der eigenen Arbeitsleistung, Vertrauen in andere,
Bedürfnis nach Liebe, Kontaktsuche, Umgang mit Geld, Bedrücktheit,
Verschlossenheit, Beliebtheit, Auseinandersetzungen, Nähe zu anderen,
Aussehen, Kooperationsfähigkeit, Selbstvorwürfe, Eigensinn,
Durchsetzung eigener Interessen, Einschätzung der eigenen Stärke,
eigene Anziehungskraft, Ausdauer); körperliche oder psychische
Beeinträchtigungen; Wohnform am Studienort; Wohnort während der
vorlesungsfreien Zeit (am Studienort, bei den Eltern); Nutzung der
vorlesungsfreien Zeit; Finanzierung des Lebensunterhalts.
Demographie: Alter; Geschlecht; Familienstand; Staatsangehörigkeit;
Haushaltsnettoeinkommen in einem normalen Semestermonat.
Zusätzlich verkodet wurde: Erhebungsort; Sommersemester oder
Wintersemester.
GESIS
Tatsächliche und gewünschte zeitliche Verteilung von
Lehrveranstaltungen bei Hochschullehrern. Beurteilung von ´Zeit´.
Themen: Körperliche oder psychische Beeinträchtigungen; formaler
Status (Amtsbezeichnung) an der Universität; Fachbereich; Fakultät;
Fach; Entfernung zwischen Hauptwohnsitz und Universitätsstandort;
Zweitwohnung am Universitätsstandort; Wegezeiten; genutztes
Verkehrsmittel; Flexibilität der Forschungs- und Lehrbedingungen
(Skala: Festhalten an Vorschriften statt eigener Ideen;
Hierarchiedenken, selbständiges und freies Entscheiden, Regeln für den
Kontakt mit Vorgesetzten und für Arbeitsberichte, freie Gestaltung der
Lehrveranstaltungen, festgelegte Arbeitszeitregelungen, Einhaltung des
Dienstweges, freie Arbeitseinteilung, Entscheidung des Befugten
abwarten, freie Entscheidung in Alltagssituationen); Wochenpräferenz:
Beurteilung von sechzehn fiktiven Stundenplänen, bei denen jeweils 16
Semesterwochenstunden (acht Stunden Lehrveranstaltungen, vier Stunden
Gremienarbeit bzw. Verwaltungsarbeit, vier Stunden für Beratung,
Sprechzeiten und Betreuung von Studierenden) nach verschiedenen Mustern
über die Woche verteilt wurden, hinsichtlich Stressfreiheit, Eignung
für befriedigende Berufsarbeit und Freizeitgestaltung; Angabe des
realen Stundenplans des laufenden Semesters am Universitätsstandort und
Beurteilung hinsichtlich Stressfreiheit, Eignung für befriedigende
Berufsarbeit und Freizeitgestaltung; präferierte ideale
Stundenplanverteilung für 16 Semesterwochenstunden und Gründe dafür;
Einstellung zur Bedeutung von Zeit anhand ausgewählter Sinnsprüche und
Redensarten (Skala); Zufriedenheit mit den Vorgaben der Fakultät bzw.
des Fachbereichs bezüglich des Zeitrasters und der zeitlichen
Organisation; sinnvolles Zeitbudget für ein erfolgreiches Studieren
(Besuch von Lehrveranstaltungen, Vor- und Nachbereitung von
Lehrveranstaltungen, Anwesenheit in Bibliotheken, Erstellung von
Referaten und Hausarbeiten); Wochentag und Tageszeit mit besonderem
Zeitdruck während einer normalen Semesterwoche; Gründe für diesen
Zeitdruck.
Demographie: Alter; Geschlecht; Familienstand; Staatsangehörigkeit;
Kinderzahl.
Zusätzlich verkodet wurde: Erhebungsort.
GESIS
SSRN
In: Environmental Law and Economics, edited by Klaus Mathis, Springer 2017 Forthcoming
SSRN
In: Management von Unsicherheit und Nichtwissen, S. 253-284
SSRN
In: APSA 2013 Annual Meeting Paper
SSRN
Working paper
In: Regionale politische Kultur in Deutschland, S. 301-326