Time and ModalityGreenwood Press, 1979 - 148 pages
|
Table des matières
BASIC MODAL LOGIC AND THE LMODAL | 1 |
TENSELOGIC AND AN ANALOGUE OF 4 | 9 |
A TENSELOGICAL ANALOGUE OF 5 | 21 |
Droits d'auteur | |
12 autres sections non affichées
Autres éditions - Tout afficher
Expressions et termes fréquents
3-valued A-formula A. N. Prior Alan Ross Anderson asserts axiom Barcan formula believes that Walter's Carnap is flying Caß characteristic matrix CLpp CMLpLp CMpp collapsing CpLp days ago days hence defined definitely deontic deontic logic entail equate equivalent exactly two things example expresses a law fact faller false Frege's function horse has wings implies individuals infinite matrix L-modal law of extensionality Leśniewski's Lewis systems logical law logician Łukasiewicz's many-valued mean modal logic modal operators modal system moon Morning Star neuter NLNp NMNp NUtp object ontology p-ing Pegasus Peirce possible postulates predicate Professor Carnap proper names propositional calculus provable quantification theory rule of detachment sea-battle sense sequence for Mp Sid believes someone statable substitution system Q tables tense tense-logic theorem tion tomorrow true statements true today truth-functional truth-value truth-valueless verify Walter's horse exists