[FOM] S4 + ZFC

Kreinovich, Vladik vladik at utep.edu
Thu Aug 23 23:14:04 EDT 2007

P.S. See also 

Kavitha Tupelly, Vladik Kreinovich, and Karen Villaverde,
  "Checking if There Exists a Monotonic Function That Is
  Consistent with the Measurements: An Efficient Algorithm",
  Reliable Computing, 2005, Vol. 11, No. 4, pp. 291-312.

 where modal idea are used to prove an algorithm's correctness 

More information about the FOM mailing list