collaborators

1 paper

cs.LO2026

Probabilistic Disjunctive Normal Forms in Temporal Logic and Automata Theory

Alexander Kuznetsov

This article introduces probabilistic disjunctive normal forms (PDNFs) as a framework for representing and reasoning about uncertainty in logical systems. Unlike classical DNFs, PD…