Lyon, T. S., & Orlandelli, E. (2026). Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules.
Chicago-Zitierstil (17. Ausg.)Lyon, Tim S., und Eugenio Orlandelli. Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules. 2026.
MLA-Zitierstil (9. Ausg.)Lyon, Tim S., und Eugenio Orlandelli. Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.