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.SE2022
A more abstract bounded exploration postulate
Yuri Gurevich, Tatiana Yavorskaya
In article "Sequential abstract state machines capture sequential algorithms", one of us axiomatized sequential algorithms by means of three postulates: sequential time, abstract s…