Heinrich Wansing
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
1
Active years
1998–2020
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | AiML | An Extension of Connexive Logic C. | Hitoshi Omori, Heinrich Wansing |
| 2010 | AiML | Proofs, Disproofs, and Their Duals. | Heinrich Wansing |
| 2006 | AiML | Tableaux for multi-agent deliberative-stit logic. | Heinrich Wansing |
| 2004 | AiML | Connexive Modal Logic. | Heinrich Wansing |
| 1998 | AiML | The Origins of Modern Modal Logic. | Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing |