The interpreted type-free modal calculus
A. Bressan (1973)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Displaying similar documents to “The interpreted type-free modal calculus ”
The interpreted type-free modal calculus
The interpreted type-free modal calculus . II
A. Bressan (1973)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Remarks on dependence relations and closure operators
M. Bleicher, Edward Marczewski (1962)
Colloquium Mathematicum
Similarity:
The mathematical structure of Lewis's theory of strict implication
Edward Huntington (1935)
Fundamenta Mathematicae
Similarity:
Formal definitions in the theory of ordinal numbers
Alonzo Church, S. Kleene (1937)
Fundamenta Mathematicae
Similarity:
An undecidable arithmetical statement
Andrzej Mostowski (1949)
Fundamenta Mathematicae
Similarity:
A completeness theorem for the general interpreted modal calculus of A. Bressan
Alberto Zanardo (1981)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Generalized idempotence in cardinal arithmetic
Erik Ellentuck (1966)
Fundamenta Mathematicae
Similarity:
Note on a paper of Wojdysławski
Neil Gray (1968)
Fundamenta Mathematicae
Similarity:
Incompactness in languages with infinitely long expressions
W. Hanf (1964)
Fundamenta Mathematicae
Similarity: