Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Knowledge Representation Formalisms And Methods (I.2.4) > Modal Logic (I.2.4...)  
 
Options:
 
  1-4 of 4 Reviews about "Modal Logic (I.2.4...)": Date Reviewed
  Modularisation of sequent calculi for normal and non-normal modalities
Lellmann B., Pimentel E. ACM Transactions on Computational Logic 20(2): 1-46, 2019.  Type: Article

Mathematician and logician Gerhard Gentzen introduced sequent calculus, a logical framework, in the first half of the 20th century. It can be used to establish systems for propositional, first-order, and modal logics. For the latter, i...

Oct 10 2019
  The model evolution calculus as a first-order DPLL method
Baumgartner P., Tinelli C. Artificial Intelligence 172(4-5): 591-632, 2008.  Type: Article

Model evolution (ME) calculus is a promising new calculus for automated first-order theorem proving; this paper introduces ME....

Jun 13 2008
  Probabilistic belief logic and its probabilistic Aumann semantics
Cao Z., Shi C. Journal of Computer Science and Technology 18(5): 571-579, 2003.  Type: Article

Despite the growing interest in using a combination of qualitative and quantitative methods, probabilistic epistemic logics have received little attention. This paper presents a follow-up to the work by Fagin and Halpern [1] on probabi...

Feb 25 2004
  Combinations of modal logics
Bennett B., Dixon C., Fisher M., Hustadt U., Franconi E., Horrocks I., De Rijke M. Artificial Intelligence Review 17(1): 1-20, 2002.  Type: Article

Modal logic has reached importance in various applications in computer science, such as knowledge representation, agent technology, and program verification. The authors address the problems that arise when different modal logics are ...

Feb 18 2003
 
 
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy