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.
Displaying similar documents to “The interpreted type-free modal calculus . II”
The interpreted type-free modal calculus
A completeness theorem for the general interpreted modal calculus of A. Bressan
Alberto Zanardo (1981)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
The interpreted type-free modal calculus
A. Bressan (1974)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity:
An application of lattices to logic
H. Rasiowa, Roman Sikorski (1955)
Fundamenta Mathematicae
Similarity:
Contributions to foundations of probability calculus on the basis of the modal logical calculus or
A. Montanaro, A. Bressan (1981)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Intuitionistic modal logic with quantifiers
Fitch, Frederic B. (1948)
Portugaliae mathematica
Similarity:
On existential theorems in non-classical functional calculi
H. Rasiowa, Roman Sikorski (1955)
Fundamenta Mathematicae
Similarity:
An introduction to algorithmic logic. Metamathematical investigations in the theory of programs
L. Banachowski, A. Kreczmar, G. Mirkowska, H. Rasiowa, A. Sławicki (1977)
Banach Center Publications
Similarity: