Searching for authors named "Heinrich Wansing" – sorted by Relevance.
-
Strong Cut-Elimination for Constant Domain First-Order S5
- Strong Cut-Elimination for Constant Domain First-Order S5 HEINRICH WANSING, University of Leipzig
- Add To MetaCart
-
Diamonds are a Philosopher's Best Friends. The Knowability Paradox and Modal Epistemic Relevance Logic (Extended Abstract)
- Logic Extended Abstract Heinrich Wansing Dresden University of Technology The knowability paradox
- Cited by 5 (0 self) – Add To MetaCart
-
Proofs and Expressiveness in Alethic Modal Logic
- Proofs and Expressiveness in Alethic Modal Logic 1 Introduction Maarten de Rijke Heinrich Wansing
- Add To MetaCart
-
Advances in Modal Logic `96
- Advances in Modal Logic `96 edited by Marcus Kracht, Maarten de Rijke, Heinrich Wansing
- Add To MetaCart
-
Logic Is Not Enough: Why Reasoning About Another Person's Beliefs Is Reasoning Under Uncertainty
- Jameson Juli 1995 ISSN 0944-7814 In Armin Laux and Heinrich Wansing (Eds.), Knowledge and Belief
- Add To MetaCart

