INCONSISTENCY-TOLERANT AND HIERARCHICAL EXTENSIONS OF PROBABILISTIC FULL COMPUTATION TREE LOGIC.

Saved in:
Bibliographic Details
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
Description
ISSN:26319810