That's it! Hyperintensional total logic

DOI10.1007/S10992-022-09695-ZMaRDI QIDQ6166123zbMATH OpenFDO

Authors Stephan C. Kramer

Publication date 2 August 2023

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

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10992-022-09695-Z

zbMATH Keywords

completenesshyperintensionalitythe whole truthtotal logictotality operatortruthmaker semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Total logic
• Logic for exact entailment
• A theory of truthmaker content. I: Conjunction, disjunction and negation
• Hyperintensional logics for everyone
• A complete minimal logic of the propositional contents of thought

Cites work

• A theory of truthmaker content. I: Conjunction, disjunction and negation
• Angellic content
• Total logic

Cited in

(1)

• `The whole truth: an internal perspective': response to Krämer's `The whole truth'

This page was built for publication: That's it! Hyperintensional total logic

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