We study prefixed tableaux for first-order multi-modal logic, providing proofs for soundness and completeness theorems, a Herbrand theorem on deductions describing the use of Herbrand or Skolem terms in place of parameters in proofs, and a lifting theorem describing the use of variables and constraints to describe instantiation. The general development applies uniformly across a range of regimes for defining modal operators and relating them to one another; we also consider certain simplifications that are possible with restricted modal theories and fragments.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Expressivity of Second Order Propositional Modal Logic.ten Cate Balder - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Identity in Modal Logic Theorem Proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Syntactical Results on the Arithmetical Completeness of Modal Logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
Term-Modal Logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
A Modal Type Theory for Formalizing Trusted Communications.Giuseppe Primiero & Mariarosiaria Taddeo - 2012 - Journal of Applied Logic 10 (1):92-114.
Added to index2009-01-28
Total downloads13 ( #347,264 of 2,153,857 )
Recent downloads (6 months)4 ( #184,516 of 2,153,857 )
How can I increase my downloads?