in this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition petri nets. the mobile agent system contains two mobile agents called dca and una. it sends out agents to update antivirus on client computers in a network. each agent takes on a specified responsibility. first, dca roams through the network and check the last d...

logical form or covert syntax is a syntactic level introduced in recent generative approaches. using the ideas of first-order predicate logic, it interprets the strings whose elements cannot move in s–structure, because an element moves if it does not acquire its necessary scope. but unlike the predicate logic, logical form is based on syntactic principles and rules. therefore, logical form is ...

Abstract Truth predicates are widely believed to be capable of serving a certain logical or quasi-logical function. There is little consensus, however, on the exact nature this We offer series formal results in support thesis that disquotational truth device simulate higher-order resources first-order setting. More specifically, we show any theory formulated language can naturally and conservat...