Labelled calculi for quantified modal logics with definite descriptions

DOI10.1093/LOGCOM/EXAB018OpenAlexW3156988858MaRDI QIDQ3382811FDOQ3382811

Authors: Eugenio Orlandelli 

Publication date: 22 September 2021

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2002.04855

Recommendations

• A Systematic Presentation of Quantified Modal Logics
• Cut-free modal theory of definite descriptions
• Labelled calculi for lattice-based modal logics
• Labelled modal logics: Quantifiers
• Labelled proofs for quantified modal logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cited In (5)

• Quantified modal logics: one approach to rule (almost) them all!
• Tableaux for free logics with descriptions
• Labelled calculi for quantified modal logics with definite descriptions
• A cut-free, sound and complete Russellian theory of definite descriptions
• Towards proof-theoretic formulation of the general theory of term-forming operators

This page was built for publication: Labelled calculi for quantified modal logics with definite descriptions

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