The interpreted type-free modal calculus
A. Bressan (1973)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: