Ori Lahav (lahav-o)

Contributions to Philosophie.ch

Bibliography

Avron, Arnon and Lahav, Ori. 2010. “Strict Canonical Constructive Systems.” in Fields of Logic and Computation. Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, edited by Andreas Blass, Nachum Dershowitz, and Wolfgang Reisig, pp. 75–94. Berlin: Springer, doi:10.1007/978-3-642-15025-8.
Lahav, Ori, Marcos, João and Zohar, Yoni. 2016. “It Ain’t Necessarily So: Basic Sequent Systems for Negative Modalities.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 449–468. London: King’s College Publications.