The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Heinrich Wansing: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Heinrich Wansing
    Connexive Modal Logic. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:367-383 [Conf]
  2. Heinrich Wansing
    Tableaux for multi-agent deliberative-stit logic. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:503-520 [Conf]
  3. Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing
    The Origins of Modern Modal Logic. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 1998, pp:- [Conf]
  4. Heinrich Wansing
    Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic. [Citation Graph (0, 0)][DBLP]
    Nonclassical Logics and Information Processing, 1990, pp:125-145 [Conf]
  5. Dov M. Gabbay, Heinrich Wansing
    What is Negation in a System? Negation in Structured Consequence Relations. [Citation Graph (0, 0)][DBLP]
    Logic, Action, and Information, 1996, pp:328-350 [Conf]
  6. Heinrich Wansing
    Review of Modal Logic by P. Blackburn, M. de Rijke, and Y. Venema. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2002, v:10, n:4, pp:457-458 [Journal]
  7. Heinrich Wansing
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:3, pp:377-381 [Journal]
  8. Heinrich Wansing
    Translation of Hypersequents into Display Sequents. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:5, pp:719-733 [Journal]
  9. Elias Thijsse, Heinrich Wansing
    A Fugue on the Themes of Awareness Logic and Correspondence. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1996, v:6, n:2, pp:- [Journal]
  10. Heinrich Wansing
    Agency and Deontic Logic, J.F. Horty. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2004, v:13, n:3, pp:379-381 [Journal]
  11. Yaroslav Shramko, Heinrich Wansing
    Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2006, v:15, n:4, pp:403-424 [Journal]
  12. Heinrich Wansing
    Displaying The Modal Logic of Consistency. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1573-1590 [Journal]
  13. Heinrich Wansing
    Tagungsbericht: Workshop ``Proof Theory of Modal Logic''. [Citation Graph (0, 0)][DBLP]
    KI, 1994, v:8, n:1, pp:33- [Journal]
  14. Heinrich Wansing
    Editorial and Call for Papers. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:3-4 [Journal]
  15. Heinrich Wansing
    Corner on directions in nonclassical logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:6, pp:759-760 [Journal]
  16. Heinrich Wansing
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:4, pp:451- [Journal]
  17. Heinrich Wansing
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:5, pp:623- [Journal]
  18. Heinrich Wansing
    Sequent Calculi for Normal Modal Proposisional Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:2, pp:125-142 [Journal]
  19. Heinrich Wansing
    Modal Tableaux Based on Residuation. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:6, pp:719-731 [Journal]
  20. Heinrich Wansing
    Tarskian Structured Consequence Relations and Functional Completeness. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1995, v:41, n:, pp:73-92 [Journal]
  21. Heinrich Wansing
    Semantics-based Nonmonotonic Inference. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:1, pp:44-54 [Journal]
  22. Roy Dyckhoff, Heinrich Wansing
    Editorial. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2001, v:69, n:1, pp:3-4 [Journal]
  23. Roy Dyckhoff, Heinrich Wansing
    Editorial. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2001, v:69, n:2, pp:195-196 [Journal]
  24. François Lepage, Elias Thijsse, Heinrich Wansing
    Introduction. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2000, v:66, n:1, pp:1-4 [Journal]
  25. Heinrich Wansing
    The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2000, v:64, n:1, pp:3-20 [Journal]
  26. Heinrich Wansing
    A Rule-Extension of the Non-Associative Lambek Calculus. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:71, n:3, pp:443-451 [Journal]
  27. Heinrich Wansing
    Predicate Logics on Display. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1999, v:62, n:1, pp:49-75 [Journal]
  28. Heinrich Wansing, Sergei P. Odintsov, Yaroslav Shramko
    From the Editors. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:153-157 [Journal]
  29. Heinrich Wansing
    A Note on Negation in Categorial Grammar. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2007, v:15, n:3, pp:271-286 [Journal]
  30. Heinrich Wansing
    Introduction and Call for Papers. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:1, pp:5- [Journal]
  31. Heinrich Wansing
    Strong Cut-elimination in Display Logic. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1995, v:29, n:, pp:117-131 [Journal]

Search in 0.056secs, Finished in 0.058secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002