Wolfgang Poiger

According to our database, Wolfgang Poiger authored at least 5 papers between 2023 and 2025.

Collaborative distances:

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

2025

Safety and Strong Completeness via Reducibility for Many-Valued Coalgebraic Dynamic Logics.

Helle Hvid Hansen, Wolfgang Poiger

Proceedings of the 11th Conference on Algebra and Coalgebra in Computer Science, 2025

2024

Many-valued coalgebraic logic over semi-primal varieties.

Alexander Kurz, Wolfgang Poiger, Bruno Teheux

Log. Methods Comput. Sci., 2024

Positive Modal Logic Over Finite MV-Chains.

Wolfgang Poiger

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

The Minor Order of Homomorphisms via Natural Dualities.

Wolfgang Poiger, Bruno Teheux

Order, April, 2023

Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties.

Alexander Kurz, Wolfgang Poiger

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023