CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project develops a formal framework for understanding processes as dynamic entities, addressing gaps in modal-temporal logic and formal semantics. It aims to reconcile common-sense views of time and change with rigorous mathematical descriptions, with applications in linguistics, artificial intelligence, and socia…
The goal of this project is to develop a formal framework for reasoning about processes, as a contribution to modal-temporal logic, process ontology, formal semantics, and AI.
The core metaphysical idea is this: the world is constantly changing – it is full of happenings and doings –, and the future is open.
Even though this idea meshes very well with our common-sense reasoning about the world, an entirely static – pointillistic – picture of reality has established itself as the standard theoret…
AARHUS UNIVERSITET
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
