References in:

On the existence of a continuum of logics in NEXT (KTB⊕ 22p→ 23p)

Bulletin of the Section of Logic 36 (1/2):37-43 (2007)

You must login to add references.

(1 other version)Non‐Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic.David Makinson - 1981 - Mathematical Logic Quarterly 27 (7):111-112.details Shows that a certain temporal logic has infinitely many non-equivalent formulae in a single variable. Download Export citation Bookmark 2 citations

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...