Peter B. M. Vranas

Publication Activity (10 Years)

Years Active: 1994-2019
Publications (10 Years): 2

Top Topics

Natural Deduction

Top Venues

Publications

Peter B. M. Vranas
New Foundations for Imperative Logic IV: Natural Deduction. FLAP 6 (3) (2019)
Peter B. M. Vranas
New foundations for imperative logic III: A general definition of argument validity. Synth. 193 (6) (2016)
Peter B. M. Vranas
In Defense of Imperative Inference. J. Philos. Log. 39 (1) (2010)
Peter B. M. Vranas, Dimitris J. Bertsimas, Amedeo R. Odoni
The Multi-Airport Ground-Holding Problem in Air Traffic Control. Oper. Res. 42 (2) (1994)
Peter B. M. Vranas, Dimitris Bertsimas, Amedeo R. Odoni
Dynamic Ground-Holding Policies for a Network of Airports. Transp. Sci. 28 (4) (1994)