Modèles à variables de différentes sortes pour les logiques modales \(M''\) ou \(S5\)
type: Item
instance of: scholarly article
title: Modèles à variables de différentes sortes pour les logiques modales \(M''\) ou \(S5\)
zbMATH Open document ID: 0172.29103
DOI: 10.1007/BF00485096
author: Robert Feys
published in: Synthese
publication date: 1969-01-01T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 3274719
zbMATH Keywords: general logic
MaRDI profile type: MaRDI publication profile
cites work: The deduction theorem in a functional calculus of first order based on strict implication
cites work: The identity of individuals in a strict functional calculus of second order
cites work: Q5791196
cites work: A formulation of the simple theory of types
cites work: Q3228599
cites work: An essay in modal logic
full work available at URL: https://doi.org/10.1007/bf00485096
OpenAlex ID: W4254522018
description: scientific article; zbMATH DE number 3274719