On self-sustenance in systems of epistemic logic

DOI10.1305/NDJFL/1093883182MaRDI QIDQ754180zbMATH OpenOpenAlexFDO

Authors Robert J. Titiev

Publication date 1980

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

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

zbMATH Keywords

consistencycompletenesscloseness under modus ponensself-sustenancesentential logicsystems of epistemic logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

This page was built for publication: On self-sustenance in systems of epistemic logic

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