LORI 2009 - PDF Preprint Papers

LORI 2009 Logic

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed LORI-2009 Paper

click to vote

LORI
2009
Springer

255views Artificial Intelligence» more LORI 2009»

Dynamic Context Logic

13 years 11 months ago

Download drops.dagstuhl.de

Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...

Guillaume Aucher, Davide Grossi, Andreas Herzig, E...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	255	Dynamic Context Logic	claim
2	238	Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together	claim
3	232	Learning and Teaching as a Game: A Sabotage Approach	claim
4	229	First-Order Logic Formalisation of Arrow's Theorem	claim
5	220	A General Family of Preferential Belief Removal Operators	claim
6	218	Expressing Properties of Coalitional Ability under Resource Bounds	claim
7	216	Twelve Angry Men: A Study on the Fine-Grain of Announcements	claim
8	214	Dynamic Testimonial Logic	claim
9	212	Toward a Dynamic Logic of Questions	claim
10	206	Can Doxastic Agents Learn? On the Temporal Structure of Learning	claim
11	205	An Update Operator for Strategic Ability	claim
12	203	Strategy Elimination in Games with Interaction Structures	claim
13	201	Dynamic Epistemic Temporal Logic	claim
14	188	Intentions and Assignments	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers