A completeness theorem in the modal logic of programs
Krister Segerberg (1982)
Banach Center Publications
Similarity:
Displaying similar documents to “Remarks on predicate logic with infinitely long expressions”
A completeness theorem in the modal logic of programs
A complete first-order logic with infinitary predicates
H. Keisler (1963)
Fundamenta Mathematicae
Similarity:
Individualised normative logic
Jan Štěpán (1989)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
Assertions depending on time and corresponding logical calculi
Andrzej Grzegorczyk (1968)
Compositio Mathematica
Similarity:
Time conditional propositions
Jan Štěpán (1988)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
Compactness=JEP in any logic
Daniele Mundici (1983)
Fundamenta Mathematicae
Similarity:
Provability in arithmetic and a schema of Grzegorczyk
George Boolos (1980)
Fundamenta Mathematicae
Similarity: