Abstract
A system of dynamic predicate logic is presented. It allows nonstandard modelling of time, which makes recursive axiomatization possible, and is essentially one-sorted (the same elements code data and time), which makes the system reasonably simple and transparent. The system is subjected to usual mathematical considerations; in particular, it is shown to be equivalent to the three-sorted system due to Andréka, Németi and Sain (1982). A conservation result for the latter system is obtained as a by-product.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have