Quantifiers as modal operators

DOI10.1007/BF00370318MaRDI QIDQ1150594zbMATH OpenFDO

Authors Steven T. Kuhn

Publication date 1980

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

fragmentsaxiomatizationpropositional modal logic

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3139743 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3603256 (Why is no real title available?)
• scientific article; zbMATH DE number 3263218 (Why is no real title available?)
• scientific article; zbMATH DE number 3196257 (Why is no real title available?)
• ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
• Solvable cases of the decision problem
• Two-dimensional modal logic

Cited in

(12)

• Temporal reference in linear tense logic
• Annual Meeting of the Association for Symbolic Logic
• Cylindric modal logic
• Necessitarian propositions
• Predicate metric tense logic for `now' and `then'
• The completeness of a predicate-functor logic
• The decision problem of modal product logics with a diagonal, and faulty counter machines
• The domino relation: Flattening a two-dimensional logic
• Algebraization of quantifier logics, an introductory overview
• Hypersequent and display calculi -- a unified perspective
• On the universality of atomic and molecular logics via protologics
• The modality and non-extensionality of the quantifiers

This page was built for publication: Quantifiers as modal operators

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