Login / Signup

Modal Logic Is More Succinct Iff Bi-Implication Is Available in Some Form.

Christoph BerkholzDietrich KuskeChristian Schwarz
Published in: STACS (2024)
Keyphrases