Alain Heuerding

Available identifiers

zbMath Open heuerding.alainMaRDI QIDQ1977573

List of research outcomes

Publication	Date of Publication	Type
On the modal logic K plus theories	2024-06-21	Paper
Efficient loop-check for backward proof search in some non-classical propositional logics	2019-01-10	Paper
A benchmark method for the propositional modal logics K, KT, S4	2001-01-17	Paper
Relations between propositional normal modal logics: an overview	1998-03-17	Paper
LWBtheory: Information about some propositional logics via the WWW	1997-10-06	Paper

Research outcomes over time

This page was built for person: Alain Heuerding