Search
Now showing items 1-3 of 3
Optimal research team composition: data envelopment analysis of Fermilab experiments
(Springer, Dordrecht, 2016)
We employ data envelopment analysis on a series of experiments performed in Fermilab, one of the major high-energy physics laboratories in the world, in order to test their efficiency (as measured by publication and citation ...
Multi-type display calculus for dynamic epistemic logic
(Oxford Univ Press, Oxford, 2016)
In the present article, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The display approach is suitable to modularly chart the space of dynamic epistemic ...
A proof-theoretic semantic analysis of dynamic epistemic logic
(Oxford Univ Press, Oxford, 2016)
The present article provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of ...