Add to ORKGThis work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engineers and programmers by outlining a fusion of tense logic and ontology of time. In order to make tense logic better understandable, the central formal primitives of standard tense logic are derived as theorems from an informal and intuitive ontology of time. In order to make formulation of temporal propositions easier, temporal operators that were introduced by Georg Henrik von Wright are developed, and mapped to the ontology of time
The paper discusses the problems of the expression of some temporal relations and properties of time...
Two of the main debates in philosophy of language concerning time and tense are the debate about the...
We extend the ontology of the situation calculus to provide for the representation of time and even...
This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engin...
The article is devoted to the question of the origin of temporal logic. The aim of it is to answer t...
What does it mean to say that something is “temporal” or that something “exists” in time? What is ti...
Let us call “tense logic ” the programme of explaining tense in natural languages by means of a mode...
In the article an issue of applicability of tense logic in natural sciences is addressed. I argue th...
The article is devoted to the problems of different kinds of logics defined as “temporal” (Temporal ...
Time is not definable in terms of other concepts. On the other hand, it is generally accepted that A...
In this paper a temporal extension of terminological logics is provided. Operators from propositiona...
Abstract. For distributive lattices, the so-called positive modal algebra was al-ready introduced by...
A.N. Prior’s work with Peirce’s philosophy and investigations into the formalisation of temporal ont...
Temporal ontology is concerned with the ontological status of the past, the present and the future, ...
There are mainly two known approaches to the representation of temporal information in Computer Scie...
The paper discusses the problems of the expression of some temporal relations and properties of time...
Two of the main debates in philosophy of language concerning time and tense are the debate about the...
We extend the ontology of the situation calculus to provide for the representation of time and even...
This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engin...
The article is devoted to the question of the origin of temporal logic. The aim of it is to answer t...
What does it mean to say that something is “temporal” or that something “exists” in time? What is ti...
Let us call “tense logic ” the programme of explaining tense in natural languages by means of a mode...
In the article an issue of applicability of tense logic in natural sciences is addressed. I argue th...
The article is devoted to the problems of different kinds of logics defined as “temporal” (Temporal ...
Time is not definable in terms of other concepts. On the other hand, it is generally accepted that A...
In this paper a temporal extension of terminological logics is provided. Operators from propositiona...
Abstract. For distributive lattices, the so-called positive modal algebra was al-ready introduced by...
A.N. Prior’s work with Peirce’s philosophy and investigations into the formalisation of temporal ont...
Temporal ontology is concerned with the ontological status of the past, the present and the future, ...
There are mainly two known approaches to the representation of temporal information in Computer Scie...
The paper discusses the problems of the expression of some temporal relations and properties of time...
Two of the main debates in philosophy of language concerning time and tense are the debate about the...
We extend the ontology of the situation calculus to provide for the representation of time and even...