A fugue on the themes of awareness logic and correspondence

DOI10.1080/11663081.1996.10510874zbMATH Open0849.03012OpenAlexW2154467351MaRDI QIDQ4881433FDOQ4881433

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

Recommendations

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

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)

Cites Work

• Belief, awareness, and limited reasoning
• Title not available (Why is that?)
• Language in action. Categories, lambdas and dynamic logic
• A general possible worlds framework for reasoning about knowledge and belief
• Title not available (Why is that?)
• Quantified modal logic: non-normal worlds and propositional attitudes
• Bemerkungen Zur Semantik Nicht‐Normaler Möglicher Welten

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)