| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Norihiro Kamide, Heinrich Wansing |
Proof theory of Nelson's paraconsistent logic: A uniform perspective.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing, Norihiro Kamide |
Synchronized Linear-Time Temporal Logic. |
Studia Logica |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide, Heinrich Wansing |
Completeness and cut-elimination theorems for trilattice logics. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide, Heinrich Wansing |
A Paraconsistent Linear-time Temporal Logic. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei P. Odintsov, Heinrich Wansing |
Modal logics with Belnapian truth values. |
Journal of Applied Non-Classical Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Wansing, Nuel Belnap |
Generalized truth values.: A reply to Dubois. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing, Norihiro Kamide |
Intuitionistic Trilattice Logics. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
The Power of Belnap: Sequent Systems for SIXTEEN3. |
J. Philosophical Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Kremer, Heinrich Wansing |
Editorial Introduction. |
J. Philosophical Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide, Heinrich Wansing |
Combining linear-time temporal logic with constructiveness and paraconsistency. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
Proofs, Disproofs, and Their Duals. |
Advances in Modal Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yaroslav Shramko, Heinrich Wansing |
Editorial Introduction. Truth Values: Part I. |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaroslav Shramko, Heinrich Wansing |
The Slingshot Argument and Sentential Identity. |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
Slingshot Argument, sentential identity, non-Fregean logic, fact ontology, situation semantics, term-forming operators, predicate abstraction |
| 1 | Yaroslav Shramko, Heinrich Wansing |
Editorial Introduction. Truth Values: Part II. |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Alexandre Carnielli, Heinrich Wansing |
Editorial and call for papers: The Non-classical Logics Corner of the Journal of Logic and Computation. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
Constructive negation, implication, and co-implication. |
Journal of Applied Non-Classical Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Wansing, Yaroslav Shramko |
Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System. |
Studia Logica |
2008 |
DBLP DOI BibTeX RDF |
Suszko’s Thesis, inferential many-valuedness, bivaluations, algebraic values, logical truth values, many-valued logic |
| 1 | Heinrich Wansing, Yaroslav Shramko |
Erratum to Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System Studia Logica , 88: 405-429, 2008. |
Studia Logica |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
Editorial and call for papers. |
J. Log. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei P. Odintsov, Heinrich Wansing |
Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACLC. |
J. Applied Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (eds.) |
Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings |
JELIA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Wansing |
A Note on Negation in Categorial Grammar. |
Logic Journal of the IGPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
Introduction and Call for Papers. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
Connectives Stranger than Tonk. |
J. Philosophical Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaroslav Shramko, Heinrich Wansing |
Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood. |
Journal of Logic, Language and Information |
2006 |
DBLP DOI BibTeX RDF |
Hyper-contradiction, multilattice, Belnap-trilattice, first-degree entailment |
| 1 | Heinrich Wansing |
Logical Connectives for Constructive Modal Logic. |
Synthese |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
Tableaux for multi-agent deliberative-stit logic. |
Advances in Modal Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Wansing, Sergei P. Odintsov, Yaroslav Shramko |
From the Editors. |
Studia Logica |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaroslav Shramko, Heinrich Wansing |
Some Useful 16-Valued Logics: How a Computer Network Should Think. |
J. Philosophical Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing (eds.) |
Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004 |
Advances in Modal Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Wansing |
Editorial. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
Agency and Deontic Logic, J.F. Horty. |
Journal of Logic, Language and Information |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
Connexive Modal Logic. |
Advances in Modal Logic |
2004 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Wansing |
Editorial. |
J. Log. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
Review of Modal Logic by P. Blackburn, M. de Rijke, and Y. Venema. |
Logic Journal of the IGPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
A Rule-Extension of the Non-Associative Lambek Calculus. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
Diamonds are a Philosopher's Best Friends. |
J. Philosophical Logic |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev (eds.) |
Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig (Germany) in October 2000 |
Advances in Modal Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Roy Dyckhoff, Heinrich Wansing |
Editorial. |
Studia Logica |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy Dyckhoff, Heinrich Wansing |
Editorial. |
Studia Logica |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
Editorial and Call for Papers. |
J. Log. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
Corner on directions in nonclassical logic. |
J. Log. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | François Lepage, Elias Thijsse, Heinrich Wansing |
Introduction. |
Studia Logica |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations. |
Studia Logica |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing (eds.) |
Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 1998 |
Advances in Modal Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Wansing |
Predicate Logics on Display. |
Studia Logica |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
Displaying The Modal Logic of Consistency. |
J. Symb. Log. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Wansing |
Translation of Hypersequents into Display Sequents. |
Logic Journal of the IGPL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
Editorial. |
Logic Journal of the IGPL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing |
The Origins of Modern Modal Logic. |
Advances in Modal Logic |
1998 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Wansing |
Modal Tableaux Based on Residuation. |
J. Log. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Elias Thijsse, Heinrich Wansing |
A Fugue on the Themes of Awareness Logic and Correspondence. |
Journal of Applied Non-Classical Logics |
1996 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Wansing |
Reviews. |
Logic Journal of the IGPL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay, Heinrich Wansing |
What is Negation in a System? Negation in Structured Consequence Relations. |
Logic, Action, and Information |
1996 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Wansing |
Tarskian Structured Consequence Relations and Functional Completeness. |
Math. Log. Q. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Wansing |
Strong Cut-Elimination for Constant Domain First-Order S5. |
Logic Journal of the IGPL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
Strong Cut-elimination in Display Logic. |
Reports on Mathematical Logic |
1995 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Wansing |
Semantics-based Nonmonotonic Inference. |
Notre Dame Journal of Formal Logic |
1995 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Wansing |
Sequent Calculi for Normal Modal Proposisional Logics. |
J. Log. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing |
Tagungsbericht: Workshop ``Proof Theory of Modal Logic''. |
KI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Wansing |
The Logic of Information Structures |
|
1993 |
DOI RDF |
|
| 1 | David Pearce, Heinrich Wansing (eds.) |
Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings |
Nonclassical Logics and Information Processing |
1992 |
DBLP BibTeX RDF |
|
| 1 | Heinrich Wansing |
Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic. |
Nonclassical Logics and Information Processing |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")