Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
type: Item
instance of: scholarly article
title: Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements
zbMATH Open document ID: 1179.68151
published in: Information Sciences
publication date: 2009-08-14T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5595391
zbMATH Keywords: chance discovery
zbMATH Keywords: modal logic
zbMATH Keywords: temporal logic
zbMATH Keywords: agents' knowledge logic
zbMATH Keywords: hybrid logics
zbMATH Keywords: decidability
zbMATH Keywords: Kripke-Hintikka models
zbMATH Keywords: inference rules
zbMATH Keywords: rules in normal reduced form
author: Vladimir Rybakov
MaRDI profile type: Publication
full work available at URL: j.ins.2008.12.008
OpenAlex ID: W2016586936
cites work: A logic for information flow in object-oriented programs
cites work: A logic for information flow analysis with an application to forward slicing of simple imperative programs
cites work: Introducing Justification into Epistemic Logic
cites work: Topological Semantics of Justification Logic
cites work: Q4845472
cites work: Q4475588
cites work: A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
cites work: Admissibility of logical inference rules
cites work: Construction of an explicit basis for rules admissible in modal system S4
cites work: Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
cites work: Logical consecutions in discrete linear temporal logic
cites work: Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
cites work: Q929294
cites work: Linear temporal logic with until and next, logical consecutions
cites work: A non-classical logic for information retrieval
cites work: Semantic analysis of tense logics
cites work: The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
DOI: 10.1016/J.INS.2008.12.008
description: scientific article; zbMATH DE number 5595391