Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements

DOI10.1016/J.INS.2008.12.008zbMath1179.68151OpenAlexW2016586936MaRDI QIDQ833736

Vladimir Vladimirovich Rybakov

Publication date: 14 August 2009

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2008.12.008

zbMATH Keywords

modal logicdecidabilitytemporal logicinference ruleshybrid logicsagents' knowledge logicchance discoveryKripke-Hintikka modelsrules in normal reduced form

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (10)

Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility ⋮ Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Temporal multi-valued logic with lost worlds in the past ⋮ Many-valued multi-modal logics, satisfiability problem ⋮ Formulas expressing totally nonstable truth values of formulas ⋮ Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms ⋮ Multi-agent logics with multi-valuations and intensional logical operations ⋮ Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility ⋮ Temporal logic with accessibility temporal relations generated by time states themselves ⋮ Branching time agents logics, satisfiability problem by rules in reduced form

Cites Work

• Unnamed Item
• Unnamed Item
• A logic for information flow analysis with an application to forward slicing of simple imperative programs
• Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms
• Linear temporal logic with until and next, logical consecutions
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Admissibility of logical inference rules
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• Construction of an Explicit Basis for Rules Admissible in Modal System S4
• Introducing Justification into Epistemic Logic
• Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
• Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
• Topological Semantics of Justification Logic
• A non-classical logic for information retrieval
• A logic for information flow in object-oriented programs
• Logical consecutions in discrete linear temporal logic
• Semantic analysis of tense logics

This page was built for publication: Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements