- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Multilanguage hierarchical logics, or: How we can do without modal logics
Artificial Intelligence 65 (1):29-70 (1994)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Modal logics, description logics and arithmetic reasoning.Hans Jürgen Ohlbach & Jana Koehler - 1999 - Artificial Intelligence 109 (1-2):1-31.
On the succinctness of some modal logics.Tim French, Wiebe van der Hoek, Petar Iliev & Barteld Kooi - 2013 - Artificial Intelligence 197 (C):56-85.
Forgetting in multi-agent modal logics.Liangda Fang, Yongmei Liu & Hans van Ditmarsch - 2019 - Artificial Intelligence 266 (C):51-80.
A guide to completeness and complexity for modal logics of knowledge and belief.Joseph Y. Halpern & Yoram Moses - 1992 - Artificial Intelligence 54 (3):319-379.
Dynamic term-modal logics for first-order epistemic planning.Andrés Occhipinti Liberman, Andreas Achen & Rasmus Kræmmer Rendsvig - 2020 - Artificial Intelligence 286 (C):103305.
Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.
Minimal proof search for modal logic k model checking.Abdallah Saffidine - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 346--358.
Logics in Artificial Intelligence: European Workshop, Jelia '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings.Jose Julio Alferes, Luis Moniz Pereira & Ewa Orlowska - 1996 - Springer Verlag.
Modal Boolean Connexive Logics: Semantics and Tableau Approach.Tomasz Jarmużek & Jacek Malinowski - 2019 - Bulletin of the Section of Logic 48 (3):213-243.
Analytics
Added to PP
2020-12-22
Downloads
18 (#998,967)
6 months
4 (#1,192,475)
2020-12-22
Downloads
18 (#998,967)
6 months
4 (#1,192,475)
Historical graph of downloads
Citations of this work
Distributed First Order Logic.Chiara Ghidini & Luciano Serafini - 2017 - Artificial Intelligence 253 (C):1-39.
Finding explanations of inconsistency in multi-context systems.Thomas Eiter, Michael Fink, Peter Schüller & Antonius Weinzierl - 2014 - Artificial Intelligence 216 (C):233-274.
A graded BDI agent model to represent and reason about preferences.Ana Casali, Lluís Godo & Carles Sierra - 2011 - Artificial Intelligence 175 (7-8):1468-1478.
Comparing formal theories of context in AI.Luciano Serafini & Paolo Bouquet - 2004 - Artificial Intelligence 155 (1-2):41-67.
References found in this work
Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.
Belief, awareness, and limited reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.
Languages with self-reference I: Foundations.Donald Perlis - 1985 - Artificial Intelligence 25 (3):301-322.
A note on syntactical treatments of modality.Richmond H. Thomason - 1980 - Synthese 44 (3):391 - 395.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5d8df9484f-2n7kc uwo