Probabilistic neighbourhood logic. (English) Zbl 0986.03025
Joseph, Mathai (ed.), Formal techniques in real-time and fault-tolerant systems. 6th international symposium, FTRTFT 2000, Pune, India, September 20-22, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1926, 264-275 (2000).
Summary: This paper presents a probabilistic extension of Neighbourhood Logic (NL). The study of such an extension is motivated by the need to supply the Probabilistic Duration Calculus (PDC) with a proof system. The relation between the new logic and PDC is similar to that between DC and ITL. We present a complete proof system for the new logic.
For the entire collection see [Zbl 0947.00042].
For the entire collection see [Zbl 0947.00042].
MSC:
03B70 | Logic in computer science |
68Q45 | Formal languages and automata |
03B48 | Probability and inductive logic |
03B45 | Modal logic (including the logic of norms) |
03D05 | Automata and formal grammars in connection with logical questions |