Sequential Calculus for a First Order Infinitary Temporal Logic
暂无分享，去创建一个
[1] Manfred E. Szabo. A sequent calculus for Kröger logic , 1980, Logic of Programs.
[2] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .
[3] Hiroya Kawai. A formal system for parallel programs in discrete time and space , 1980, Logic of Programs.
[4] Antoni Kreczmar,et al. An introduction to algorithmic logic; metamathematical investigations in the theory of programs , 1977 .