|
Browse All Reviews > Theory Of Computation (F) > Mathematical Logic And Formal Languages (F.4) > Mathematical Logic (F.4.1) > Modal Logic (F.4.1...)
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|