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 > Theory Of Computation (F) > Mathematical Logic And Formal Languages (F.4) > Mathematical Logic (F.4.1) > Modal Logic (F.4.1...)  
 
Options:
 
  1-10 of 21 Reviews about "Modal Logic (F.4.1...)": Date Reviewed
  Credulous acceptability, poison games and modal logic
Grossi D., Rey S.  AAMAS 2019 (Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, Montreal, QC, Canada, May 13-17, 2019) 1994-1996, 2019.  Type: Proceedings

Abstract argumentation theory is based on the notion that argument x attacks argument y. A set of arguments S is “admissible” if no arguments within the set a...

Sep 30 2020
  Neighborhood semantics for modal logic
Pacuit E., Springer International Publishing, New York, NY, 2017. 154 pp.  Type: Book (978-3-319671-48-2)

Reading and writing a review of this wonderful book has been a pleasure. Knowing the basics of propositional modal logic may explain why I enjoyed reading it. The author has gathered and surveyed many papers in writing this book. This ...

Feb 14 2019
  The undecidability of arbitrary arrow update logic
van Ditmarsch H., van der Hoek W., Kuijer L. Theoretical Computer Science 693 1-12, 2017.  Type: Article

Arrow update logic is one instance of so-called dynamic epistemic logics. These are logical frameworks that allow for the modeling of change of knowledge or belief. In the special case of arrow update logics, one can in effect model th...

Mar 7 2018
  Nondeterministic modal interfaces
Bujtor F., Fendrich S., Lüttgen G., Vogler W. Theoretical Computer Science 642(C): 24-53, 2016.  Type: Article

Concurrent systems consist of multiple components; the design of such a system must: allow its specification to be composed from the component requirements; allow its implementation to be composed from the component capabilities; and s...

Nov 17 2016
  Partly free semantics for some Anderson-like ontological proofs
Szatkowski M. Journal of Logic, Language and Information 20(4): 475-512, 2011.  Type: Article

Logical arguments for the existence of God go back a long way....

Jan 17 2012
  The situation calculus: a case for modal logic
Lakemeyer G. Journal of Logic, Language and Information 19(4): 431-450, 2010.  Type: Article

Situation calculus theory is used in the logical analysis of historical actions and transformations of agents that manipulate real-world objects. The situation calculus is germane in applications such as robotics, as well as temporal p...

Mar 4 2011
  Algebra and logic for access control
Collinson M., Pym D. Formal Aspects of Computing 22(2): 83-104, 2010.  Type: Article

Access control is ubiquitous to the extent that we hardly perceive its presence in our activities--from who we give our house keys to, to who can authorize the publication of article reviews on a Web site. In light of this, th...

Aug 25 2010
  A modal logic framework for multi-agent belief fusion
Liau C. ACM Transactions on Computational Logic 6(1): 124-174, 2005.  Type: Article

The problem of belief fusion, or the “infoglut problem,” is discussed in this paper in terms of multimodal logics. The main intuition is that each modal operator corresponds to an agent (or source of information), a...

May 31 2006
  Mathematical modal logic: a view of its evolution
Goldblatt R. Journal of Applied Logic 1(5-6): 309-392, 2003.  Type: Article

The modern, 20th-century history of modal logic is told from a mathematical and algebraic point of view in this paper, which also describes the most important results in the field. It argues that, similar to classical propositional log...

Apr 23 2004
  Sequent of relations calculi
Baaz M., Ciabattoni A., Fermüller C. In Beyond two. Heidelberg, Germany: Physica-Verlag GmbH, 2003.  Type: Book Chapter

Many-valued logics are not only a major topic of research in abstract computer science, but they are also a very practical tool for dealing with a wide range of significant computer applications. This is why the systematic construction...

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