|Abstract||First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the diﬃculties in formulating a good analog of Herbrand’s Theorem, as well as the well-known problems with equality, non-rigid designators, deﬁnite descriptions, and nondesignating terms. We show how all these problems disappear when modal language is made more expressive in a simple, natural way. We present a semantic tableaux system for the enhanced logic, and (very) brieﬂy discuss implementation issues.|
|Keywords||No keywords specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Francis J. Pelletier (1993). Identity in Modal Logic Theorem Proving. Studia Logica 52 (2):291 - 308.
Balder ten Cate (2006). Expressivity of Second Order Propositional Modal Logic. Journal of Philosophical Logic 35 (2):209 - 223.
Balder ten Cate (2006). Expressivity of Second Order Propositional Modal Logic. Journal of Philosophical Logic 35 (2).
James W. Garson (2006). Modal Logic for Philosophers. Cambridge University Press.
Minghui Ma (2010). Toward Model-Theoretic Modal Logics. Frontiers of Philosophy in China 5 (2):294-311.
Richard Sylvan (1988). Intuitionist Logic — Subsystem of, Extension of, or Rival to, Classical Logic? Philosophical Studies 53 (1):147 - 151.
Wiebe Van Der Hoek & Maarten De Rijke (1993). Generalized Quantifiers and Modal Logic. Journal of Logic, Language and Information 2 (1).
Added to index2010-12-22
Total downloads6 ( #145,407 of 548,973 )
Recent downloads (6 months)2 ( #37,438 of 548,973 )
How can I increase my downloads?