BibTex format
@inproceedings{Lomuscio:2015,
author = {Lomuscio, A and Colombetti, M},
pages = {71--85},
title = {QLB: A quantified logic for belief},
year = {2015}
}
Publications
Citation
RIS format (EndNote, RefMan)
TY - CPAPER
AB - This paper describes QLB, a quantified logic of belief that is a possible extension of the modal system KD45n to predicate level. The main features of QLB are that: (i) it is allowed to quantify over the agents of belief; (ii) the belief operator can be indexed by any term of the formal language; (iii) terms are not rigid designators, but are interpreted contextually; (iv) automatic theorem proving is possible in QLB (but it is not presented in this paper). QLB is constructed as a partial logic with a monotonic semantics on ordered sets, and its semantic theorems are defined as the formulae that are sometimes true and never false.
AU - Lomuscio,A
AU - Colombetti,M
EP - 85
PY - 2015///
SN - 0302-9743
SP - 71
TI - QLB: A quantified logic for belief
ER -