Portal de Periódicos da CAPES

Phase semantics for linear-time formalism

2010; Oxford University Press; Volume: 19; Issue: 1 Linguagem: Inglês

10.1093/jigpal/jzq023

1368-9894

Norihiro Kamide,

Logic, Reasoning, and Knowledge

Journal Article Phase semantics for linear-time formalism Get access Norihiro Kamide Norihiro Kamide Waseda Institute for Advanced Study, Waseda University, 1-6-1 Nishi Waseda, Shinjuku-ku, Tokyo 169-8050, JAPAN. Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 19, Issue 1, February 2011, Pages 121–143, https://doi.org/10.1093/jigpal/jzq023 Published: 01 February 2011 Article history Received: 21 June 2007 Published: 01 February 2011