Labelled calculi for quantified modal logics with definite descriptions

DOI10.1093/LOGCOM/EXAB018OpenAlexW3156988858MaRDI QIDQ3382811FDOQ3382811

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

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)