Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization

SSRN Electronic Journal 2026 Preprint Open access

Read full text

Authors: Yongming Li

DOI: 10.2139/ssrn.6044967

Cited by: 0

References: 27

Fields of Study & Subjects

Formal Methods in Verification Logic Reasoning and Knowledge Advanced Algebra and Logic

References 27