Richard E. Ladner (ladner)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Fischer, Michael J. and Ladner, Richard E. 1979. “Propositional Dynamic Logic of Regular Programs.” Journal of Computer and System Sciences 18(2): 194–211.
Ladner, Richard E. and Reif, John H. 1977. “The Computational Complexity of Provability in Systems of Modal Propositional Logic.” SIAM Journal on Computing 6(3): 467–480.
Ladner, Richard E. and Reif, John H. 1986. “The Logic of Distributed Protocols (Preliminary Report).” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 207–222. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.