Logically Possible Worlds and Counterpart Semantics for Modal Logic
MetadataShow full item record
This chapter focuses on logically possible worlds and counterpart semantics for modal logic. Originally conceived as the logic of necessity and possibility, philosophical roots of modal logic go back at least as far as Aristotle and the Stoic Diodorus Cronus. The most common semantics of modal logics introduce the notions of a world, a possibility, or a situation, and impose further structure by means of more or less complex relations, for example, by the notion of accessibility. Modal logic does not embody the commitment to possible worlds of any sort-rather the doctrines of modal realism and anti-realism are subject to considerable philosophical debate. The languages of modal predicate logic that is considered differs from the language of modal propositional logic as follows. First, there are neither propositional variables nor propositional constants. Second, first-order and second-order languages of modal predicate logic differ syntactically as well as with respect to the substitution principles assumed. This chapter discusses the notion of modal predicate logic, objects in counterpart frames, and the semantical impact of Haecceitism. Details of metaframes and status of the modal language are also presented in this chapter. © 2007 Elsevier B.V. All rights reserved.
Showing items related by title, author, creator and subject.
Integrating abductive logic programming and description logics in a dynamic contracting architecture Alberti, M; Cattafi, M; Chesani, F; Gavanelli, M; Lamma, E; Mello, P; Montali, M; Torroni, P (IEEE Press, 2009)In Semantic Web technologies, searching for a service means to identify, components that can potentially satisfy the user needs in terms of outputs and effects (discovery), and that, when invoked by the customer can ...
Borgwardt, S; Penaloza, R (Springer, 2015)Fuzzy Description Logics (FDLs) combine classical Description Logics with the semantics of Fuzzy Logics in order to represent and reason with vague knowledge. Most FDLs using truth values from the interval [0,1] have been ...
Chesani, F; Mello, P; Montali, M; Torroni, P (CEUR, 2008)The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of the most challenging open research issues is the ...