Login / Signup

Frame problem in dynamic logic.

Dongmo ZhangNorman Y. Foo
Published in: J. Appl. Non Class. Logics (2005)
Keyphrases