Richard E. Ladner (ladner)
Contributions à 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.