Studia Logica 52 (2):259 - 280 (1993)
|Abstract||One of the fundamental properties inclassical equational reasoning isLeibniz's principle of substitution. Unfortunately, this propertydoes not hold instandard epistemic logic. Furthermore,Herbrand's lifting theorem which isessential to thecompleteness ofresolution andParamodulation in theclassical first order logic (FOL), turns out to be invalid in standard epistemic logic. In particular, unlike classical logic, there is no skolemization normal form for standard epistemic logic. To solve these problems, we introduce anintensional epistemic logic, based on avariation of Kripke's possible-worlds semantics that need not have a constant domain. We show how a weaker notion of substitution through indexed terms can retain the Herbrand theorem. We prove how the logic can yield a satisfibility preserving skolemization form. In particular, we present an intensional principle for unifing indexed terms. Finally, we describe asound andcomplete inference system for a Horn subset of the logic withequality, based onepistemic SLD-resolution.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Boudewijn de Bruin (2008). Epistemic Logic and Epistemology. In Vincent F. Hendricks & Duncan Pritchard (eds.), New Waves in Epistemology. Palgrave Macmillan.
Nina Gierasimczuk (2009). Bridging Learning Theory and Dynamic Epistemic Logic. Synthese 169 (2):371-384.
Peter K. Schotch (2000). Skepticism and Epistemic Logic. Studia Logica 66 (1):187-198.
Vincent F. Hendricks & John Symons (2006). Where's the Bridge? Epistemology and Epistemic Logic. Philosophical Studies 128 (1):137 - 167.
John Symons (2006). Where's the Bridge? Epistemology and Epistemic Logic. Philosophical Studies 128 (1):137 - 167.
Daniel Gallin (1975). Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics. American Elsevier Pub. Co..
Barteld P. Kooi (2003). Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information 12 (4):381-408.
E. H. Alves & J. A. D. Guerzoni (1990). Extending Montague's System: A Three Valued Intensional Logic. Studia Logica 49 (1):127 - 132.
Joeri Engelfriet & Jan Treur (1998). An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. Journal of Logic, Language and Information 7 (3):369-388.
Added to index2009-01-28
Total downloads10 ( #106,150 of 548,972 )
Recent downloads (6 months)1 ( #63,511 of 548,972 )
How can I increase my downloads?