Necessity predicates and operators

DOI10.1007/BF00262865zbMath0451.03011OpenAlexW2013199224MaRDI QIDQ1147693

William N. Reinhardt

Publication date: 1980

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00262865

zbMATH Keywords

necessity operatornecessity predicateprovability interpretation of modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03F99)

Related Items (8)

Some remarks on extending and interpreting theories with a partial predicate for truth ⋮ Paraconsistent logics? ⋮ Montague's theorem and modal logic ⋮ On meaningfulness and truth ⋮ The knower paradox in the light of provability interpretations of modal logic ⋮ Jump liars and Jourdain's card via the relativized T-scheme ⋮ Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis ⋮ Operators in the paradox of the knower

This page was built for publication: Necessity predicates and operators