The semantics of propositional contexts-Reference-Cited by-同舟云学术

The semantics of propositional contexts

Published:1994 Issue: Volume: Page:468-477
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Buvač Saša,Buvač Vanja,Mason Ian A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58495-1_47.pdf

Reference7 articles.

1. Giuseppe Attardi and Maria Simi. A formalization of viewpoints. Technical Report TR-93-062, International Computer Science Institute, Berkeley, California 94704-1105, 1993.

2. D. A. Bochvar. Two papers on partial predicate calculus. Technical Report STAN-CS-280-72, Department of Computer Science, Stanford University, 1972. Translation of Bochvar's papers originally published in 1938 and 1943.

3. Saša Buvač, Vanja Buvač, and Ian A. Mason. Metamathematics of contexts. Fundamenta Informaticae. To appear.

4. Saša Buvač and Ian A. Mason. Propositional logic of context. In Proceedings of the Eleventh National Conference on Artificial Intelligence, 1993.

5. John McCarthy. Generality in artificial intelligence. Comm. of ACM, 30(12):1030–1035, 1987. Reprinted in

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reasoning in Epistemic Contexts;Modeling and Using Context;2017

2. Counts-as: Classification or Constitution? An Answer Using Modal Logic;Deontic Logic and Artificial Normative Systems;2006

3. Contextual Taxonomies;Lecture Notes in Computer Science;2005

4. From Abstract to Concrete Norms in Agent Institutions;Formal Approaches to Agent-Based Systems;2004

5. Multicontext Logic for Semigroups of Contexts;Lecture Notes in Computer Science;2002