MainScienceMathLogic and Foundations › Ono, Hiroakira

Ono, Hiroakira

Edit Page
Report
Scan day: 09 February 2014 UTC
20
Virus safety - good
Description: Japan Advanced Institute of Science and Technology - Nonclassical logic, substructural logics, logic of knowledge and belief, cumulative reasoning.
Logic of knowledge and belief, cumulative reasoning The contraction rule and decision problems for logics without structural rules ( with E. Kiriyama ), Studia Logica 50 (1991), 299-319. Logics of belief and belief sets --- an approach to autoepistemic logic, Information Modelling and Knowledge Bases III, IOS Press Amsterdam 1992, 218-228.
Size: 341 chars

Contact Information

Email:
Phone&Fax:
Address:
Extended:

WEBSITE Info

Page title:Hiroakira Ono
Keywords:
Description:
IP-address:150.65.5.208