Searching for authors named "Heinrich Wansing" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
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
Showing 1 through 5.
