A fugue on the themes of awareness logic and correspondence

DOI10.1080/11663081.1996.10510874zbMath0849.03012OpenAlexW2154467351MaRDI QIDQ4881433

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Quantified modal logic: non-normal worlds and propositional attitudes
• Belief, awareness, and limited reasoning
• Language in action. Categories, lambdas and dynamic logic
• A general possible worlds framework for reasoning about knowledge and belief
• Bemerkungen Zur Semantik Nicht‐Normaler Möglicher Welten

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