A fugue on the themes of awareness logic and correspondence

DOI10.1080/11663081.1996.10510874MaRDI QIDQ4881433zbMATH OpenOpenAlexFDO

Authors Elias Thijsse, Heinrich Wansing

Publication date 28 October 1996

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.1996.10510874

zbMATH Keywords

bisimulationcorrespondence theoryepistemic logic of general awarenessmodal logic S1sieve model semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 757646
• Reasoning about knowledge of unawareness
• Models of awareness
• Reprint of: Reasoning about knowledge of unawareness revisited

Cites work

• scientific article; zbMATH DE number 125989 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• A general possible worlds framework for reasoning about knowledge and belief
• Belief, awareness, and limited reasoning
• Bemerkungen Zur Semantik Nicht‐Normaler Möglicher Welten
• Language in action. Categories, lambdas and dynamic logic
• Quantified modal logic: non-normal worlds and propositional attitudes

Cited in

(1)

• Non-normal super-strict implications

This page was built for publication: A fugue on the themes of awareness logic and correspondence

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