Normal predicative logics with graded modalities

DOI10.1007/BF00374048MaRDI QIDQ1106194zbMATH OpenOpenAlexFDO

Authors Francesco de Caro

Publication date 1988

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

graded modalitiesKripke modelsnormal modal logicpredicate modal logicsemantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Review text

In this work we extend results from ``Graded modalities. I-III [see the review above; Part III is to appear] about propositional calculi with graded modalities to the predicative level. Our semantics is based on Kripke models with a single domain of interpretation for all the worlds. Therefore the axiomatic system will need a suitable generalization of the Barcan formula. We have not considered semantics with world-relative domains because they do not present any new difficulties with respect to classical case. Our language will have constant and function symbols, but they will have a rigid interpretation. In this instance the terms will be considered ``rigid designators, that is, their interpretations will be the same in all possible worlds. Nevertheless we will not consider languages with identity: in this way we avoid the problems of identity in modal contexts. On the other hand, we think that in that context essentially the same problems would arise as those which occur in classical predicative modal logic. Finally we will consider only denumerable languages because the extension to non-denumerable ones is not conceptually problematic.

Recommendations

• scientific article; zbMATH DE number 487145
• scientific article; zbMATH DE number 2019849
• Graded modalities. I
• Quantified Modal Logic With Rigid Terms
• Some incompletable modal predicate logics

Cites work

• Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds
• Graded modalities. I
• Graded modalities. II. (Canonical models)
• Graded modalities. III: The completeness and compactness of \(S4^ 0\)
• scientific article; zbMATH DE number 1028834 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)

Cited in

(6)

• Conditional logics of normality: A modal approach
• Quantification and predication in modal predicative propositional logic
• Finite-Chain Graded Modal Logic
• scientific article; zbMATH DE number 970635 (Why is no real title available?)
• scientific article; zbMATH DE number 7668119 (Why is no real title available?)
• General canonical models for graded normal logics. (Graded modalities. IV)

This page was built for publication: Normal predicative logics with graded modalities

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