Modèles à variables de différentes sortes pour les logiques modales M ou S5

DOI10.1007/BF00485096zbMATH Open0172.29103OpenAlexW4254522018MaRDI QIDQ2532151FDOQ2532151

Authors Robert Feys 

Publication date 1969

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00485096

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• scientific article; zbMATH DE number 3114382 (Why is no real title available?)
• scientific article; zbMATH DE number 3051936 (Why is no real title available?)
• A formulation of the simple theory of types
• An essay in modal logic
• The deduction theorem in a functional calculus of first order based on strict implication
• The identity of individuals in a strict functional calculus of second order

Cited in

(1)

• A proof-theoretic study of the correspondence of classical logic and modal logic

This page was built for publication: Modèles à variables de différentes sortes pour les logiques modales \(M\) ou \(S5\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2532151)