Претраживање
Приказ резултата 1-6 од 6
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 ...
Utemeljenje "nove ontologije" u filozofiji Nicolaia Hartmanna kao kritika necjelovitih filozofskih sustava / Laying the groundwork for a "New Ontology" in the philosophy of Nicolai Hartmann as a criticism of non-integral philosophical systems
(Institute of Philosophy and Theology of Society of Jesus, 2016)
The aim of this paper is to study the significance of Nicolai Hartmann's contribution to ontology and, furthermore, to point out the consequences of his laying the groundwork for a "new ontology" which fact may be interpreted ...
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 ...
Godel's Notre Dame course
(Cambridge Univ Press, Cambridge, 2016)
This is a companion to a paper by the authors entitled "Godel's natural deduction," which presented and made comments about the natural deduction system in Godel's unpublished notes for the elementary logic course he gave ...
An Introduction to Metametaphysics
(Soc Advancement Philosophy-Zagreb, Zagreb, 2016)
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 ...