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

DOI10.1016/0004-3702(94)90037-XzbMath0787.68093OpenAlexW2057858426WikidataQ57302694 ScholiaQ57302694MaRDI QIDQ1313954

Luciano Serafini, Fausto Giunchiglia

Publication date: 24 February 1994

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(94)90037-x

zbMATH Keywords

modal logicsbelief representationhierarchy of first-order languageslogical languagesmetatheoretic theorem provingMultiLanguage systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Artificial intelligence (68T99)

Related Items (31)

Contextual reasoning distilled ⋮ Preferential multi-context systems ⋮ Linking Open-World Knowledge Bases Using Nonmonotonic Rules ⋮ Expressiveness of communication in answer set programming ⋮ Distributed first order logic ⋮ A metatheory of a mechanized object theory ⋮ Higher-Order Modal Logics: Automation and Applications ⋮ A graded BDI agent model to represent and reason about preferences ⋮ Finding explanations of inconsistency in multi-context systems ⋮ Reasoning about norms under uncertainty in dynamic environments ⋮ Preferences and Assumption-Based Argumentation for Conflict-Free Normative Agents ⋮ Where logic and agents meet ⋮ Ideal and real belief about belief ⋮ Mechanizing multi-agent reasoning with belief contexts ⋮ On dynamically generated ontology translators in agent communication ⋮ Building decision procedures for modal logics from propositional decision procedures — The case study of modal K ⋮ Reactive multi-context systems: heterogeneous reasoning in dynamic environments ⋮ Enhancing context knowledge repositories with justifiable exceptions ⋮ From description-logic programs to multi-context systems ⋮ Unnamed Item ⋮ A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence ⋮ Local Models Semantics, or contextual reasoning = locality + compatibility ⋮ Combining Multiple Knowledge Representation Technologies into Agent Programming Languages ⋮ Active integrity constraints for general-purpose knowledge bases ⋮ Mental states as multi-context systems ⋮ Multi-context systems in dynamic environments ⋮ Combining Nonmonotonic Knowledge Bases with External Sources ⋮ Embodied Context Semantics ⋮ Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). ⋮ Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures ⋮ Comparing formal theories of context in AI

Uses Software

• CLAM
• GETFOL

Cites Work

• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• Self-reference and modal logic
• Belief, awareness, and limited reasoning
• Prolegomena to a theory of mechanized formal reasoning
• A note on syntactical treatments of modality
• Generality in artificial intelligence
• Transfinite recursive progressions of axiomatic theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Multilanguage hierarchical logics, or: How we can do without modal logics