Modal logic with functorial variables and a contingent constant

DOI10.1305/ndjfl/1093958149zbMath0146.00901OpenAlexW2092556272MaRDI QIDQ2524057

A. N. Prior, C. A. Meredith

Publication date: 1965

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093958149

zbMATH Keywords

mathematical logic

Related Items

A TWO-DIMENSIONAL LOGIC FOR TWO PARADOXES OF DEONTIC MODALITY, Meredith, Prior, and the history of possible worlds semantics, Modal logic for other-world agnostics: Neutrality and Halldén incompleteness, From worlds to possibilities, Zolin and Pizzi: defining necessity from noncontingency, Arthur Prior and `now', The genesis of possible worlds semantics, A unified semantics for a family of modal logics with propositional constants