- Norm and Action: A Logical Enquiry.R. M. Hare - 1965 - Philosophical Quarterly 15 (59):172-175.details
|
|
Causality and Determinism. [REVIEW]Edwin McCann - 1978 - Philosophical Review 87 (1):88-92.details
|
|
A topological logic of action.Krister Segerberg - 1984 - Studia Logica 43 (4):415 - 419.details
|
|
Action Theory and Social Science: Some Format Models.Terence Horgan - 1977 - Synthese 43 (3):421-431.details
|
|
Semantical Considerations on Floyd-Hoare Logic.Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, Tadeuz Traczyk & Rohit Parikh - 1986 - Journal of Symbolic Logic 51 (1):225-227.details
|
|
Application of modal logic to programming.Vaughan R. Pratt - 1980 - Studia Logica 39 (2-3):257 - 274.details
|
|
Position and change: a study in law and logic.Lars Lindahl - 1977 - Boston: D. Reidel Pub. Co..details
|
|
Position and Change: A Study in Law and Logic.R. F. Atkinson - 1979 - Philosophical Quarterly 29 (115):183-185.details
|
|
The Logic of Saint Anselm.William Kneale - 1968 - Philosophical Quarterly 18 (70):82.details
|
|
Will, Freedom, and Power.Anthony Kenny - 1975 - New York: Blackwell.details
|
|
Rights and Parliamentarism.Stig Kanger & Helle Kanger - 1966 - Theoria 32 (2):85-115.details
|
|
Law and logic.Stig Kanger - 1972 - Theoria 38 (3):105-132.details
|
|
Action Theory and Social Science: Some Format Models.Terence Horgan - 1979 - Philosophical Review 88 (2):308.details
|
|
Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 , pp. 194–211. - Krister Segerberg. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan Banach International Mathematical Center at the semester “Universal algebra and applications” held February 15–June 9, 1978, edited by Tadeuz Traczyk, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, pp. 31–46. - Rohit Parikh. The completeness of propositional dynamic logic. Mathematical foundations of computer science 1978, Proceedings, 7th symposium, Zakopane, Poland, September 4–8, 1978, edited by J. Winkowski, Lecture notes in computer science, vol. 64, Springe. [REVIEW]Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.details
|
|
Axiomatising the Logic of Computer Programming.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (3):854-855.details
|
|
The system cδ of combinatory logic.Frederic B. Fitch - 1963 - Journal of Symbolic Logic 28 (1):87-97.details
|
|
A logical analysis of some value concepts.Frederic Fitch - 1963 - Journal of Symbolic Logic 28 (2):135-142.details
|
|
On the logic of ability.Mark A. Brown - 1988 - Journal of Philosophical Logic 17 (1):1 - 26.details
|
|
Seeing to it that: a canonical form for agentives.Nuel Belnap & Michael Perloff - 1988 - Theoria 54 (3):175-199.details
|
|
Norms, truth and logic.Georg Henrik von Wright - 1983 - In Practical Reason. Blackwell. pp. 130-209.details
|
|
Explanation and Understanding.Georg Henrik von Wright - 1974 - Philosophy and Rhetoric 7 (3):187-190.details
|
|
[Omnibus Review].Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.details
|
|
The Logical Form of Imperatives.Brian Farrell Chellas - 1969 - Dissertation, Stanford Universitydetails
|
|