A Recursively Axiomatizable Subsystem of Levesque's Logic of Only Knowing.

Authors: 
Duc, Ho Ngoc
Year: 
1997
Language: 
English
Abstract: 
A complete, recursive axiomatization of a subsystem of Levesque's onlyknowing logic ([5]) is given. The sublogic is obtained by relaxing some of Levesque's semantic conditions while keeping the most important definitions unchanged. The axiom system is obtained by adding an axiom of Humberstone ([4]) to a subset of the set of Levesque's axioms. The completeness result is proved using the subordination method of Hughes and Cresswell ([3]).
Appeared / Erschienen in: 
Automated Reasoning Project, RSISE, Australian National University, 1996; Report Nr.1/1997 des Instituts fuer Informatik der Universitaet Leipzig
Pubdate / Erscheinungsdatum: 
1997
Pages / Seitenanzahl: 
11
AttachmentSize
1997-36.pdf169.79 KB