Necessity predicates and operators
From MaRDI portal
Publication:1147693
DOI10.1007/BF00262865zbMath0451.03011MaRDI QIDQ1147693
Publication date: 1980
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03A05: Philosophical and critical aspects of logic and foundations
03F99: Proof theory and constructive mathematics
Related Items
On meaningfulness and truth, Montague's theorem and modal logic, Jump liars and Jourdain's card via the relativized T-scheme, Some remarks on extending and interpreting theories with a partial predicate for truth, Operators in the paradox of the knower, Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis, The knower paradox in the light of provability interpretations of modal logic, Paraconsistent logics?