Quantifiers as modal operators

DOI10.1007/BF00370318zbMath0457.03015MaRDI QIDQ1150594

Steven T. Kuhn

Publication date: 1980

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

propositional modal logicaxiomatizationfragments

Mathematics Subject Classification ID

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

Related Items (12)

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

Cites Work

• Solvable cases of the decision problem
• ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
• Two-dimensional modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quantifiers as modal operators