%0 Journal Article
%T L¨®gicas epist¨¦mica y dox¨¢stica con restricciones
%A Sierra-A
%A Manuel
%J Ingenier¨ªa y Ciencia
%D 2010
%I Universidad EAFIT
%X are presented as extensions of classical propositional calculus hierarchies of deductive systems ldr-n and ler-n with n ¡Ý 1. ler-n is the epistemic logic with restrictions, ldr-n is the doxastic logic with restrictions. the systems ler-1 and ldr-1 are the classical propositional calculus. system ler-(n + 1) can be seen as the result of applying the rule: if x is theorem of ler-n then +x is theorem of ler-(n + 1). systems also restricts the validity of the axioms +(x ¡ú y) ¡ú (+x ¡ú +y) and +x ¡ú x, in terms of depth (complexity with respect to the operator +) of x and y, and also includes restricted versions of the axioms of positive and negative introspection. ler system results from the union of ler-n systems, and can be seen as the s5 modal logic system with different types of restrictions. changing +x ¡ú x by +x ¡ú¡«+¡«x are built ldr-n and the ldr systems. ldr can be seen as the kd45 modal logic system with different types of restrictions. the systems are characterized with a embedded worlds semantics, with which the ¡®omniscience logical problem' is limited.
%K multi-modal logic
%K possible worlds embedded
%K epistemic logic
%K doxastic logic
%K logical omniscience.
%U http://www.scielo.org.co/scielo.php?script=sci_abstract&pid=S1794-91652010000200005&lng=en&nrm=iso&tlng=en