On a modal epistemic axiom emerging from McDermott-Doyle logics

DOI10.3233/FI-2009-170MaRDI QIDQ3400532zbMATHOpenAlexWikidataFDO

Authors Costas D. Koutras, Yorgos Zikos

Publication date 5 February 2010

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2009-170

zbMATH Keywords

modal logicrelational semanticsneighbourhood semanticsmodal nonmonotonic logicweak negative introspection axiom

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Evidence Reconstruction of Epistemic Modal Logic S5
• scientific article; zbMATH DE number 4108725
• On Realization of -modality by Evidence Terms
• scientific article; zbMATH DE number 1749192
• Adding the everywhere operator to propositional logic

This page was built for publication: On a modal epistemic axiom emerging from McDermott-Doyle logics

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