1078 search results - page 11 / 216 » The Modal Logic of Probability |
JOLLI
2002
13 years 8 months ago
2002
A concept language with role intersection and number restriction is defined and its modal equivalent is provided. The main reasoning tasks of satisfiability and subsumption checkin...
ICTL
1994
14 years 18 days ago
1994
This paper presents a temporal belief logic called
AAAI
2007
13 years 10 months ago
2007
JANCL
2008
13 years 8 months ago
2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
LFCS
2009
Springer
14 years 3 months ago
2009
Springer
The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissib...