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

DOI10.1016/J.INS.2008.12.008zbMATH Open1179.68151OpenAlexW2016586936MaRDI QIDQ833736FDOQ833736

Vladimir 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

decidabilitymodal logictemporal logicinference ruleshybrid logicsagents' knowledge logicchance discoveryKripke-Hintikka modelsrules in normal reduced form

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Admissibility of logical inference rules
• Semantic analysis of tense logics
• Construction of an explicit basis for rules admissible in modal system S4
• Introducing Justification into Epistemic Logic
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Linear temporal logic with until and next, logical consecutions
• A logic for information flow in object-oriented programs
• A non-classical logic for information retrieval
• Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
• Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
• Logical consecutions in discrete linear temporal logic
• 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
• A logic for information flow analysis with an application to forward slicing of simple imperative programs
• Topological Semantics of Justification Logic

Cited In (10)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q833736)