TY  - RPRT
TI  - Dynamic Logic of Quantum Field Theory
AU  - Tsubasa Takagi
AU  - Hiroki Hoshina
AU  - Masatomi Iizawa
AU  - Satoru Saito
PY  - 2020
UR  - https://arxiv.org/abs/2002.12203
ID  - 2002.12203
ER  -