David Gilbert (gilbert-d)

Contributions to Philosophie.ch

Bibliography

Gilbert, David. 2015. “Actuality, Quantifiers, and Actuality Quantifiers.” Logique et Analyse 58(232): 457–486.
Gilbert, David, Hogger, Christopher J. and Zlatuska, Jirm. 1994. “Transforming Specifications of Observable Behaviour into Programs.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 88–103. Berlin: Springer.
Gilbert, David and Mares, Edwin D. 2012. “Completeness Results for Some Two-Dimensional Logics of Actuality.” The Review of Symbolic Logic 5(2): 239–258.