EUDML | The interpreted type-free modal calculus $MC^{\infty }$. II

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “The interpreted type-free modal calculus $M C^{\infty}$ . II”

The interpreted type-free modal calculus $M C^{\infty}$

A. Bressan (1973)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

A completeness theorem for the general interpreted modal calculus $M C^{v}$ of A. Bressan

Alberto Zanardo (1981)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

The interpreted type-free modal calculus $M C^{\infty}$

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 $M C^{ν}$ or $M C_{*}^{ν}$

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: