Necessity predicates and operators

DOI10.1007/BF00262865MaRDI QIDQ1147693zbMATH OpenOpenAlexFDO

Authors 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

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

Cited in

(9)

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

This page was built for publication: Necessity predicates and operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1147693)