Search
Now showing items 1-7 of 7
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2016)
This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be ...
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2016)
Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truthfunctional, and that every consistent normal modal logic can be ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2016)
A formal result is proved which is used in Juhani Yli-Vakkuri’s ‘Epistemicism and Modality’ to argue that certain two-dimensional possible world models are inadequate for a language with operators for ‘necessarily’, ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2016)
I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2016)
The impossibility theorem of Dekel, Lipman and Rustichini has been thought to demonstrate that standard state-space models cannot be used to represent unawareness. We first show that Dekel, Lipman and Rustichini do not ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2016)
According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2016)
A new puzzle of modal recombination is presented which relies purely on resources of first-order modal logic. It shows that naive recombinatorial reasoning, which has previously been shown to be inconsistent with various ...