Concepedia

Heinrich Wansing

HW

54

Publications

1.9K

Citations

26

H-Index

1990

Active since

Affiliations

Ruhr University Bochum(Current)

Technische Universität Dresden

Sobolev Institute of Mathematics

Kryvyi Rih State Pedagogical University

Pedagogical University

Heinrich Wansing is an author at Ruhr University Bochum specializing in automated reasoning, semantics, and engineering.

Top concepts

Automated ReasoningEngineeringSemanticsFormal MethodsComputer ScienceLanguageLinguisticsEpistemologyFormal VerificationFormal Logic

Publications per year

1990–2024

54

Publications

54

Sequent Calculi for Normal Modal Propositional Logics

Heinrich Wansing · Journal of Logic and Computation · 1994 · 124 citations

Engineering, Automated Reasoning, Propositional Logic +4

A general possible worlds framework for reasoning about knowledge and belief

Heinrich Wansing · Studia Logica · 1990 · 113 citations

Knowledge Representation, Cognitive Science, Engineering +9

Some Useful 16-Valued Logics: How a Computer Network Should Think

Yaroslav Shramko, Heinrich Wansing · Journal of Philosophical Logic · 2005 · 106 citations

Applied Logic, Computational Logic, Engineering +9

40 years of FDE: An Introductory Overview

Hitoshi Omori, Heinrich Wansing · Studia Logica · 2017 · 103 citations · Full text

Constructive negation, implication, and co-implication

Heinrich Wansing · Journal of Applied Non-Classical Logics · 2008 · 84 citations

Constructive Negation, Non-classical Logic, Philosophy Of Language +13

Rows per page

1–5 of 54