2 papers
cs.LO2025
On semantics of first-order justification logic with binding modalities
Tatiana Yavorskaya, Elena Popova
We introduce the first order logic of proofs in the joint language combining justification terms and binding modalities. The main issue is Kripke--style semantics for t…
cs.SE2020
Some Aspects of a Software Reliability Problem
Anton Petrov, Elena Popova, Alexander Petrov
Obviously, the dynamism of software reliability research has speeded up significantly in the last period, and we can state the fact that its intensity is approaching, and in some c…