Labelled modal logics: Quantifiers [Book Review]


Abstract
In previous work we gave an approach, based on labelled natural deduction, for formalizing proof systems for a large class of propositional modal logics that includes K, D, T, B, S4, S4.2, KD45, and S5. Here we extend this approach to quantified modal logics, providing formalizations for logics with varying, increasing, decreasing, or constant domains. The result is modular with respect to both properties of the accessibility relation in the Kripke frame and the way domains of individuals change between worlds. Our approach has a modular metatheory too; soundness, completeness and normalization are proved uniformly for every logic in our class. Finally, our work leads to a simple implementation of a modal logic theorem prover in a standard logical framework
Keywords Quantified modal logics  free logic  natural deduction  labelled deductive systems
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1008278803780
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,425
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
An Approach to Infinitary Temporal Proof Theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
29 ( #320,213 of 2,286,379 )

Recent downloads (6 months)
2 ( #582,474 of 2,286,379 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature