P Fritz - Journal of Philosophical Logic, 2018 - acuresearchbank.acu.edu.au
Two expressive limitations of an infinitary higher-order modal language interpreted on
models for higher-order contingentism–the thesis that it is contingent what propositions …