-
A Many-Valued Probabilistic Logic: CommentaryPoznan Studies in the Philosophy of the Sciences and the Humanities 71 36-48. 2000.
-
A resolution principle for a class of many-valued logicsLogique Et Analyse 19 (74-76): 311-339. 1976.
-
2A Theory of Equality for a Class of Many‐Valued Predicate CalculiMathematical Logic Quarterly 20 (25‐27): 427-432. 1974.
-
4An expectation-transformer model for probabilistic temporal logicLogic Journal of the IGPL 7 (6): 779-804. 1999.We interpret the modal µ-calculus over a new model [10], to give a temporal logic suitable for systems exhibiting both probabilistic and demonic nondeterminism. The logical formulae are real-valued, and the statements are not limited to properties that hold with probability 1. In achieving that conceptual step, our technical contribution is to determine the correct quantitative generalisation of the Boolean operators: one that allows many of the standard Boolean-based temporal laws to carry over…Read more
-
2A Relational Formalisation Of Arbitrary Finite Valued LogicsLogic Journal of the IGPL 6 (5): 755-774. 1998.A method of developing a relational semantics and relational proof systems for many-valued logics based on finite algebras of truth values is presented. The method is applied to Rosser-Turquette logic, logics based on symmetric Heyting algebras with operators and a Post-style logic
-
9Truth, falsehood, and contingency in first-order predicate calculusNotre Dame Journal of Formal Logic 14 (4): 536-542. 1973.
-
2Probabilistic Canonical Models for Partial LogicsNotre Dame Journal of Formal Logic 44 (3): 125-138. 2003.The aim of the paper is to develop the notion of partial probability distributions as being more realistic models of belief systems than the standard accounts. We formulate the theory of partial probability functions independently of any classical semantic notions. We use the partial probability distributions to develop a formal semantics for partial propositional calculi, with extensions to predicate logic and higher order languages. We give a proof theory for the partial logics and obtain soun…Read more
-
15There is a probabilistic semantics for every extension of classical sentence logicJournal of Philosophical Logic 11 (4). 1982.
-
10Simple probabilistic semantics for propositional k, t, b, s4, and SJournal of Philosophical Logic 11 (4). 1982.
-
4Review: Philippe Smets, Abe Mamdani, Didier Dubois, Henri Prade, Non-Standard Logics for Automated Reasoning (review)Journal of Symbolic Logic 57 (1): 277-281. 1992.
-
3Non-standard logics for automated reasoning, edited by Philippe Smets, Abe Mamdani, Didier Dubois, and Henri Prade, Academic Press, London etc. 1988, x + 334 pp (review)Journal of Symbolic Logic 57 (1): 277-281. 1992.
-
48The nature of nonmonotonic reasoningMinds and Machines 10 (3): 321-360. 2000.Conclusions reached using common sense reasoning from a set of premises are often subsequently revised when additional premises are added. Because we do not always accept previous conclusions in light of subsequent information, common sense reasoning is said to be nonmonotonic. But in the standard formal systems usually studied by logicians, if a conclusion follows from a set of premises, that same conclusion still follows no matter how the premise set is augmented; that is, the consequence rela…Read more
Philadelphia, Pennsylvania, United States of America
Areas of Interest
Social and Political Philosophy |
Philosophy of Cognitive Science |