A completeness theorem in the modal logic of programs
Krister Segerberg (1982)
Banach Center Publications
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Krister Segerberg (1982)
Banach Center Publications
Similarity:
H. Keisler (1963)
Fundamenta Mathematicae
Similarity:
Jan Štěpán (1989)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
Andrzej Grzegorczyk (1968)
Compositio Mathematica
Similarity:
Jan Štěpán (1988)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity: