Wolfgang Heinle

According to our database, Wolfgang Heinle authored at least 4 papers between 1991 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

Relations Between Propositional Normal Modal Logics: An Overview.

Rajeev Goré, Wolfgang Heinle, Alain Heuerding

J. Log. Comput., 1997

Relation Algebra and Modal Logics.

Holger Schlingloff, Wolfgang Heinle

Proceedings of the Relational Methods in Computer Science., 1997

1995

Expressivity and definability in extended modal languages.

Wolfgang Heinle

PhD thesis, 1995

1991

A relation algebraic approach to modal correspondences

Wolfgang Heinle

Forschungsberichte, TU Munich, 1991