Open AccessBook
Modal logic
Reads0
Chats0
About:
The article was published on 2001-06-28 and is currently open access. It has received 2698 citations till now. The article focuses on the topics: Classical modal logic & Normal modal logic.read more
Citations
More filters
Book
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
Yoav Shoham,Kevin Leyton-Brown +1 more
TL;DR: This exciting and pioneering new overview of multiagent systems, which are online systems composed of multiple interacting intelligent agents, i.e., online trading, offers a newly seen computer science perspective on multi agent systems, while integrating ideas from operations research, game theory, economics, logic, and even philosophy and linguistics.
Book
Dynamic Epistemic Logic
TL;DR: This book provides various logics to support formal specifications of multi-agent systems, including proof systems, and discusses various results on the expressive power of the logics presented.
Book
The logic of conventional implicatures
TL;DR: In this paper, a preliminary case for Conventional Implicatures and a logic for conventional implicatures are presented, together with a syntactic analysis of Grice's definition.
Book
Handbook of Knowledge Representation
TL;DR: The Handbook of Knowledge Representation is an up-to-date review of twenty-five key topics in knowledge representation written by the leaders of each field, an essential resource for students, researchers and practitioners in all areas of Artificial Intelligence.
Journal ArticleDOI
A Plea for Monsters
TL;DR: In this article, attitude operators can manipulate the context of evaluation of some indexicals, and should thus be essentially treated as Kaplanian monsters The analysis is developed in an extensional system with individual, time, world and context variables, which accounts for a number of cross-linguistic facts in the domain of person, tense and mood.