Active logic semantics for a single agent in a static world

, , &
Artificial Intelligence 172 (8-9):1045-1063 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2007.11.005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Active logic semantics for a single agent in a static world.Michael Anderson, Walid Gomaa, John Grant & Don Perlis - manuscript
On the reasoning of real-world agents: Toward a semantics for active logic.Michael L. Anderson, John Grant & Don Perlis - unknown
Linguistic $$\leftrightarrow $$ ↔ Rational Agents’ Semantics.Alexander Dikovsky - 2017 - Journal of Logic, Language and Information 26 (4):341-437.
Generalizing AGM to a multi-agent setting.Guillaume Aucher - 2010 - Logic Journal of the IGPL 18 (4):530-558.
On the basic logic of STIT with a single agent.Ming Xu - 1995 - Journal of Symbolic Logic 60 (2):459-483.
A Dynamic Epistemic Logic with a Knowability Principle.Michael Cohen - 2015 - In Logic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science. Berlin: Springer. pp. 406-410.
A logical analysis of the relationship between commitment and obligation.Churn-Jung Liau - 2001 - Journal of Logic, Language and Information 10 (2):237-261.
Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.
Inexact Knowledge with Introspection.Denis Bonnay & Paul Égré - 2009 - Journal of Philosophical Logic 38 (2):179-227.
Justifications for common knowledge.Samuel Bucheli, Roman Kuznets & Thomas Studer - 2011 - Journal of Applied Non-Classical Logics 21 (1):35-60.
Single-domain free logic and the problem of compositionality.Dolf Rami - 2020 - Synthese 198 (10):9479-9523.
Moral conflicts between groups of agents.Barteld Kooi & Allard Tamminga - 2008 - Journal of Philosophical Logic 37 (1):1-21.
The Propositional Logic of Elementary Tasks.Giorgi Japaridze - 2000 - Notre Dame Journal of Formal Logic 41 (2):171-183.
Pavelka-style fuzzy justification logics.Meghdad Ghari - 2016 - Logic Journal of the IGPL 24 (5):743-773.
Interactive Logic in the Middle Ages.Sara L. Uckelman - 2012 - Logic and Logical Philosophy 21 (4):439-471.

Analytics

Added to PP
2020-12-22

Downloads
9 (#1,228,347)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Anderson
University of Arizona

Citations of this work

Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2008 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 257--276.

Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.
Nonmonotonic logic and temporal projection.Steve Hanks & Drew McDermott - 1987 - Artificial Intelligence 33 (3):379-412.

View all 11 references / Add more references