research
∙
09/06/2022
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
This article proposes the use of temporal logic for an analysis of instr...
share
research
∙
10/30/2020
The Role of Time, Weather and Google Trends in Understanding and Predicting Web Survey Response
In the literature about web survey methodology, significant efforts have...
research
∙
08/29/2019
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
This work provides proof-search algorithms and automated counter-model e...
research
∙
07/07/2019
A Neutral Temporal Deontic STIT Logic
In this work we answer a long standing request for temporal embeddings o...
research
∙
04/22/2019
Cut-free Calculi and Relational Semantics for Temporal STIT Logics
We present cut-free labelled sequent calculi for a central formalism in ...
research
∙
02/18/2019