Search w/in this Title for Titles All Reviews
	Journal of Logic, Language and Information Kluwer Academic Publishers         Options: Date Reviewed Title Author Publisher Published Date Descending Order Ascending Order     1-10 of 13 reviews Date Reviewed     A formal model of communication and context awareness in multiagent systems Saunier J., Balbo F., Pinson S. Journal of Logic, Language and Information 23(2): 219-247, 2014.  Type: Article In part motivated by properties of human-to-human communication such as overhearing and multiparty communication, the authors describe a model for agent awareness applicable to multiagent systems (MAS) applications.... Apr 16 2015   Natural language and logic of agency van Benthem J. Journal of Logic, Language and Information 23(3): 367-382, 2014.  Type: Article The literature on the study of natural language and the study of logic are largely disjoint. This can be quite frustrating, as the two fields have developed concepts and methods that are tantalizingly similar, but whose relationship is... Nov 12 2014   Semantics for knowledge and change of awareness van Ditmarsch H., French T. Journal of Logic, Language and Information 23(2): 169-195, 2014.  Type: Article In multiagent systems, the knowledge available to individual agents is subject to perpetual change: first, the truth of propositions may vary from one state of an agent to the next; second, the propositions that an agent is aware of ma... Aug 29 2014   Sequential dynamic logic Bochman A., Gabbay D. Journal of Logic, Language and Information 21(3): 279-298, 2012.  Type: Article Propositional dynamic logic (PDL) is tailored to modeling and reasoning about evolving universes, such as computer programs whose states change during their execution. It is based on modal operators, such as in the formula [P<... Nov 19 2012   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   Concrete digital computation: What does it take for a physical system to compute? Fresco N. Journal of Logic, Language and Information 20(4): 513-537, 2011.  Type: Article The many accounts of digital computation “establish different (but not all irreducibly different) requirements for a physical system.” This paper addresses the physical meaning of digital computation. Instead of off... Jan 6 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   Plans, actions and dialogues using linear logic Dixon L., Smaill A., Tsang T. Journal of Logic, Language and Information 18(2): 251-289, 2009.  Type: Article, Reviews: (2 of 2) Linear logic was all the rage in the 1980s and early 1990s, holding the promise of a powerful logical system that could be brought to bear in representing transient truths and resource consumption. One implicit premise of this heyday o... Aug 31 2009    Plans, actions and dialogues using linear logic Dixon L., Smaill A., Tsang T. Journal of Logic, Language and Information 18(2): 251-289, 2009.  Type: Article, Reviews: (1 of 2) Since first proposed by Jean-Yves Girard in 1995, linear logic has been tremendously influential in theoretical computer science (CS). Papers on linear logic, however, have a reputation for being rather impenetrable. This paper is plea... May 13 2009   From word to sentence: a pregroup analysis of the object pronoun who(m) Lambek J. Journal of Logic, Language and Information 16(3): 303-323, 2007.  Type: Article This linguistics paper should interest a computing audience. As is well known, Chomsky advocated the idea that language is hard-wired into human beings in the form of a universal grammar; Lambek’s approach supp... Aug 28 2008       Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy