RT Article
T1 A quantified temporal logic for ampliation and restriction
JF Vivarium
VO 51
IS 1/4
SP 485
OP 510
A1 Uckelman, Sara L. 1982-
LA English
PB Brill
YR 2013
UL https://ixtheo.de/Record/1582476942
NO Gesehen am: 14.12.2020
K1 temporal logic : appellation : ampliation : restriction : supposition : quantification : necessity : Lambert of Lagny
DO 10.1163/15685349-12341259