On Height and Happiness

DOI10.1007/978-3-319-47843-2_13zbMath1437.03086OpenAlexW2591969362MaRDI QIDQ3299847

Melvin Fitting

Publication date: 27 July 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-47843-2_13

zbMATH Keywords

modal logicintensional logicpredicate abstractionnested sequentsnon-rigidity

Mathematics Subject Classification ID

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

Related Items

The problem of cross-world predication ⋮ A nonhybrid logic for crossworld predication

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Prefixed tableaus and nested sequents
• First-order intensional logic
• Deep sequent systems for modal logic
• FOIL axiomatized
• Cut-free sequent calculi for some tense logics
• First-order modal logic
• Nested sequents for intuitionistic logics
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Modal Logics Between Propositional and First-order