Paper Info
Title
Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation
Abstract
This paper presents a sound and complete free-variable tableau calculus for constant-domain quantified modal logics, with a propositional analytical basis, i.e. one of the systems K, D, T, K4, S4. The calculus is obtained by addition of the classical free-variable 驴-rule and the "liberalized" 驴+-rule [14] to a standard set of propositional rules. Thus, the proposed system characterizes proof-theoretically the constant-domain semantics, which cannot be captured by "standard" (non-prefixed, non-annotated) ground tableau calculi. The calculi are extended so as to deal also with non-rigid designation, by means of a simple numerical annotation on functional symbols, conveying some semantical information about the worlds where they are meant to be interpreted.
Year
DOI
Venue
2001
10.1007/3-540-45744-5_11
IJCAR
Keywords
Field
DocType
non-rigid designation,modal logic,free-variable tableaux,complete free-variable tableau calculus,standard set,classical free-variable,ground tableau calculus,functional symbol,constant-domain semantics,constant-domain quantified modal logics,propositional analytical basis,propositional rule
Discrete mathematics,Knowledge representation and reasoning,Algorithm,Sequent calculus,Propositional calculus,Modal logic,Numerical analysis,Semantics,Modal,Mathematics,Integration by substitution
Conference
ISBN
Citations 
PageRank 
3-540-42254-4
2
0.46
References 
Authors
15
2
Name
Order
Citations
PageRank
Serenella Cerrito113913.72
Marta Cialdea Mayer227428.25