Multilanguage hierarchical logics, or: How we can do without modal logics

Artificial Intelligence

Volumn 65, Issue 1, 1994, Pages 29-70

  Giunchiglia, Fausto ^a,b   Serafini, Luciano ^a  

^a ITC IRST   (Italy)

^b UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTER AIDED ANALYSIS; LOGIC PROGRAMMING; MULTIPROGRAMMING;

FIRST ORDER LANGUAGES; LOGICAL LANGUAGES; MODAL LOGICS USAGE; MULTILANGUAGE SYSTEMS; PROPOSITIONAL ATTITUDES;

LOGIC DESIGN;

EID: 0028315848     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(94)90037-X     Document Type: Article

References (68)

1. Basic modal logic
2. The use of explicit plans to guide inductive proofs
3. Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation
4. The consistency of syntactical treatments of modality
5. Belief awareness and limited reasoning
6. Transfinite recursive progressions of axiomatic theories
7. Labeled deductive systems
8. Multilanguage systems
9. The getfol manual: getfol version 1
10. Contextual reasoning
11. Multilanguage first order theories of propositional attitudes
12. Hierarchical meta-logics: some proof theoretical results
13. Non-omniscient belief as context-based reasoning
14. Hierarchical meta-logics: intuitions, proof theory and semantics
15. Reflection in constructive and non-constructive automated reasoning
16. Plan formation and execution in a uniform architecture of declarative metatheories
17. Reflective reasoning with and between a declarative metatheory and the implementation code
18. A system for multi-level mathematical reasoning
19. A multi-context monotonic axiomatization of inessential non-monotonicity
20. fol user manual, fol version 2
21. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
22. Reasoning about knowledge, an overview
23. A guide to the modal logics of knowledge and belief: preliminary draft
24. The NuPrl proof development system
25. An application of amalgamated logic to multi-agent belief
26. A deduction model of belief and its logics
27. First order theories of individual concepts and propositions
28. Generality in artificial intelligence
29. Notes on formalizing context
30. Some philosophical problems from the standpoint of artificial intelligence
31. Syntactical treatment of modality, with corollaries on reflections principles and finite axiomatizability
32. Languages with self-reference I: foundations
33. Der Wahrheitsbegriff in den formalisierten Sprachen
34. A note on syntactical treatments of modality
35. The Clam proof planner
36. A users manual for fol
37. Prolegomena to a theory of mechanized formal reasoning
38. An example of fol using metatheory: formalizing reasoning and introducing derived inference rules
39. Multiple agents and the heuristic ascription of belief
40. Speech acts and multiple environments
41. Beliefs, points of view and multiple environments