Abstract:There are logics where necessity is defined by means of a given identity connective: □φ:=φ≡⊤$${\square\varphi := \varphi\equiv\top}$$ (⊤$${\top}$$ is a tautology). On the other hand, in many standard modal logics the concept of propositional identity (PI) φ≡ψ$${\varphi\equiv\psi}$$ can be defined by strict equivalence (SE) □(φ↔ψ)$${\square(\varphi\leftrightarrow\psi)}$$ . All these approaches to modality involve a principle that we call the Collapse Axiom (CA): “There is only one necessary proposition.” In this paper, we consider a notion of PI which relies on the identity axioms of Suszko’s non-Fregean logic SCI. Then S3 proves to be the smallest Lewis modal system where PI can be defined as SE. We extend S3 to a non-Fregean logic with propositional quantifiers such that necessity and PI are integrated as non-interdefinable concepts. CA is not valid and PI refines SE. Models are expansions of SCI-models. We show that SCI-models are Boolean prealgebras, and vice-versa. This associates non-Fregean logic with research on Hyperintensional Semantics. PI equals SE iff models are Boolean algebras and CA holds. A representation result establishes a connection to Fine’s approach to propositional quantifiers and shows that our theories are conservative extensions of S3–S5, respectively. If we exclude the Barcan formula and a related axiom, then the resulting systems are still complete w.r.t. a simpler denotational semantics.

Remark on Some $$\pi $$ Variants

Behavioural Equivalences of a Probabilistic Pi-Calculus

The Pi Theorem Revisited: On Representations of Quantity Functions

A Pi(1)(1)-Uniformization Principle For Reals

A more "complete" version of the Pi-theorem: DRAFT

On Q-Analogues Of Some Series For Pi And Pi(2)

On the bisimulation congruence in chi-calculus - (Extended abstract)

New Series for Powers of &Lt;inline-Formula><tex-math Id="m1">\begin{document}$ \pi $\End{document}</tex-Math></inline-formula> and Related Congruences

Calligraphy Concerning Casually Compiled Cardinal Characteristic Comparisons

Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi

Denotational Semantics for Modal Systems S3–S5 Extended by Axioms for Propositional Quantifiers and Identity

Licensing of PPI indefinites: Movement or pseudoscope?

Two $Q$-Analogues of Euler’s Formula $\zeta (2)=\pi ^2/6$

On $q$-analogues of a Zeilberger-type series for $\pi^2$

∗‐ π ‐Reversible ∗‐Semirings and Their Applications to Generalized Inverses

Derived Equivalences for a Class of PI Algebras

A further $q$-analogue of a formula due to Guillera

Embedding Pure Type Systems in the lambda-Pi-calculus modulo

Classification and Properties of the $$\pi $$ Π -Submaximal Subgroups in Minimal Nonsolvable Groups

Characterizing Rational Ramanujan-type Series for $1/\pi$ Via Congruences

On right $π$-inverse ordered semigroups