Cited By
View all- Nunes MRoggia KTorrens P(2024)Soundness-Preserving Fusion of Modal Logics in CoqFormal Methods: Foundations and Applications10.1007/978-3-031-78116-2_8(120-138)Online publication date: 3-Dec-2024
This work presents the formal verification of the concept of fusion of modal logics in the Coq proof assistent, along with a proof of the preservation of soundness. Our formalization is based on previous work by da Silveira et al. that formalizes ...
We present cut-free labelled sequent calculi for various systems of inquisitive modal logic, including inquisitive epistemic logic and inquisitive doxastic logic. Inquisitive modal logic extends the framework of standard modal logic with a ...
In this paper, we introduce hypersequent calculi for some modal logics extending S4 modal logic. In particular, we uniformly characterize hypersequent calculi for S4, S4.2, S4.3, S5 in terms of what are called “external modal structural rules” for ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inView or Download as a PDF file.
PDFView online with eReader.
eReaderView this article in HTML Format.
HTML Format