References in:

Axiomatization of 'peircean' branching-time logic

Studia Logica 49 (2):183 - 195 (1990)

You must login to add references.

Decidability for branching time.John P. Burgess - 1980 - Studia Logica 39 (2-3):203-218.details The species of indeterminist tense logic called Peircean by A. N. Prior is proved to be recursively decidable. Logic and Philosophy of Logic Temporal Logic in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 31 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 ...