INCONSISTENCY-TOLERANT AND HIERARCHICAL EXTENSIONS OF PROBABILISTIC FULL COMPUTATION TREE LOGIC.
Saved in:
| Title: | INCONSISTENCY-TOLERANT AND HIERARCHICAL EXTENSIONS OF PROBABILISTIC FULL COMPUTATION TREE LOGIC. |
|---|---|
| Authors: | KAMIDE, NORIHIRO1 drnkamide08@kpd.biglobe.ne.jp |
| Source: | Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP). Sep2026, Vol. 13 Issue 5, p665-698. 34p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
