Labelled calculi for quantified modal logics with definite descriptions

DOI10.1093/LOGCOM/EXAB018MaRDI QIDQ3382811zbMATH OpenOpenAlexFDO

Authors Eugenio Orlandelli

Publication date 22 September 2021

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

Copyright license Creative Commons Attribution 4.0 International

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)

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

Cited in

(10)

• Tableaux for free logics with descriptions
• Existence, definedness and definite descriptions in hybrid modal logic
• 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
• Quantified modal logics: one approach to rule (almost) them all!
• When Iota meets lambda
• On temporal references via definite descriptions in first-order monadic logic of order
• Two cases of deduction with non-referring descriptions
• Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi

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)