Definition. A propositional signature Σ is a collection of items, which we call propositional constants. Sometimes these propositional constants are also called elementary sentences, or even atomic sentences. However, we will be using the word “atomic” for a different concept. These propositional constants are assumed to have no independent meaning. Nonetheless, we assume a primitive notion of ...

One can add the machinery of relation symbols and terms to a propositional modal logic without adding quantifiers. Ordinarily this is no extension beyond the propositional. But if terms are allowed to be non-rigid, a scoping mechanism (usually written using lambda abstraction) must also be introduced to avoid ambiguity. Since quantifiers are not present, this is not really a first-order logic, ...

Philosophers have understood propositional contents in many different ways, some of them imposing stricter demands on cognition than others. In this paper, I want to characterize a specific sub-type content that shares core features with full-blown while lacking will call modest contents, and be especially interested examining which behavioral patterns would justify their attribution non-human ...