IEEE - Institute of Electrical and Electronics Engineers, Inc. - An ontology-based first-order intensional logic

2008 IEEE International Conference on Granular Computing (GrC-2008)

Author(s): Feng Jiang ; Yuefei Sui ; Cungen Cao
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2008
Conference Location: Hangzhou, China
Conference Date: 26 August 2008
Page(s): 330 - 335
ISBN (CD): 978-1-4244-2513-6
ISBN (Paper): 978-1-4244-2512-9
DOI: 10.1109/GRC.2008.4664731
Regular:

There exist many difficulties in the current semantics for first-order modal logic. For instance, the problem of rigid semantics. In order to solve the problem of rigid semantics, Melvin Fitting... View More

Advertisement