<--- Back to Details
First PageDocument Content
Modal logic / Model theory / Symbol / Kripke semantics / Epistemic modal logic / Interpretation / Dynamical system / Logic / Mathematical logic / Philosophical logic
Date: 2013-08-20 15:39:34
Modal logic
Model theory
Symbol
Kripke semantics
Epistemic modal logic
Interpretation
Dynamical system
Logic
Mathematical logic
Philosophical logic

Reasoning About the Beliefs of Agents in Multi-Agent Domains in the Presence of State Constraints: The Action Language mAL Chitta Baral1 , Gregory Gelfond1 , Enrico Pontelli2 , and Tran Cao Son2 1

Add to Reading List

Source URL: www.public.asu.edu

Download Document from Source Website

File Size: 693,39 KB

Share Document on Facebook

Similar Documents

1  2 Avicenna sets up a modal logic with a Kripke semantics

1 2 Avicenna sets up a modal logic with a Kripke semantics

DocID: 1uVyg - View Document

RESIDUATED FRAMES WITH APPLICATIONS TO DECIDABILITY NIKOLAOS GALATOS AND PETER JIPSEN Abstract. Residuated frames provide relational semantics for substructural logics and are a natural generalization of Kripke frames in

RESIDUATED FRAMES WITH APPLICATIONS TO DECIDABILITY NIKOLAOS GALATOS AND PETER JIPSEN Abstract. Residuated frames provide relational semantics for substructural logics and are a natural generalization of Kripke frames in

DocID: 1sSt4 - View Document

Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1  Department of Philosophy, Utrecht University

Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University

DocID: 1rmYl - View Document

The Semantic Paradoxes and the Paradoxes of Vagueness Hartry Field∗ March 30, 2003 Both in dealing with the semantic paradoxes and in dealing with vagueness and indeterminacy, there is some temptation to weaken classic

The Semantic Paradoxes and the Paradoxes of Vagueness Hartry Field∗ March 30, 2003 Both in dealing with the semantic paradoxes and in dealing with vagueness and indeterminacy, there is some temptation to weaken classic

DocID: 1qL5i - View Document

Chapter 11 Revenge, IForms of revenge It is hard enough to find a satisfying response to the paradoxes, but the phenomenon of revenge can make it seem impossible. In the simplest manifestation of revenge - call it

Chapter 11 Revenge, IForms of revenge It is hard enough to find a satisfying response to the paradoxes, but the phenomenon of revenge can make it seem impossible. In the simplest manifestation of revenge - call it

DocID: 1qJWL - View Document