-
11An 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
-
8A 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
-
Fuchino, S., Koppelberg, S. and Shelah, S., Partial orderingsAnnals of Pure and Applied Logic 80 291. 1996.
-
A Many-Valued Probabilistic Logic: CommentaryPoznan Studies in the Philosophy of the Sciences and the Humanities 71 36-48. 2000.
-
Diablo Valley CollegeRegular Faculty
Pleasant Hill, California, United States of America
Areas of Interest
Logic and Philosophy of Logic |
20th Century Philosophy |