Logics with quantifiers that range over a model-theoretic universe of propositions are interesting for several applications. For example, in the context of epistemic logic the knowledge axioms can be expressed by the single ...

This article addresses two questions. The first question is this: ‘when ought teachers to encourage or discourage students’ belief of a given proposition on the one hand (call this ‘directive teaching’), and when ought ...

This article addresses two questions. The first question is this: ‘when ought teachers to encourage or discourage students’ belief of a given proposition on the one hand (call this ‘directive teaching’), and when ought ...

This paper has two aims. First, it aims to show that most commentators misunderstand Wittgenstein's criticism of Russell's theory of judgment in that they share a common assumption, namely: when interpreting the so-called ...

This paper has two aims. First, it aims to show that most commentators misunder-stand Wittgenstein’s criticism of Russell’s theory of judgment in that they share a com-mon assumption, namely: when interpreting the so-called ...

Gradual dependent types can help with the incremental adoption of dependently typed code by providing a principled semantics for imprecise types and proofs, where some parts have been omitted. Current theories of gradual ...

Internet is a great and modern tool to look for information about a particular problem, it is like to have simultaneous access to several libraries in the orld. In any search one usually gets a huge of information and some ...