![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Learning Analytics Based on Streamed Log Data from a Course in Logic
This paper describes the analysis of streamed log data generated from the use of two specific e-learning tools in the context of a basic logic course taught and evaluated at Aalborg University, Denmark, during...
-
Chapter and Conference Paper
Formal, Measurable Ontologies for Worldviews
Formal ontology has been used in a variety of projects in the humanities. Most interesting from our perspective is the work carried out to develop an ontology of Wittgenstein’s Nachlass since we want to take the ...
-
Chapter and Conference Paper
The Use of E-learning Tools in a Basic Logic Course During the COVID-19 Lockdown
This paper describes a study of the development and use of e-learning tools in the context of a basic logic course that was taught during the COVID-19 lockdown in 2021. The tools were used to compensate for le...
-
Chapter and Conference Paper
The Use of E-learning Tools and Log Data in a Course on Basic Logic
This paper is a study of the use of e-learning tools and log data in evaluating and further develo** a course on basic logic. It is a continuation of earlier studies involving practical experiments with stud...
-
Chapter and Conference Paper
The Interpretation of Branching Time Diagrams
The use of branching time diagrams in tense logic was originally suggested in 1957 by Saul Kripke. During the following years, A.N. Prior (1914–1969) developed models with forwards branching and backwards lin...
-
Chapter and Conference Paper
A.N. Prior’s Ideas on Tensed Ontology
A.N. Prior’s work with Peirce’s philosophy and investigations into the formalisation of temporal ontology give rise to some important questions regarding time and existence. Some answers to these questions are...