scientific article; zbMATH DE number 7324611
From MaRDI portal
Publication:4966050
zbMath1472.68192MaRDI QIDQ4966050
S. V. Babenyshev, Vladimir Vladimirovich Rybakov
Publication date: 18 March 2021
Full work available at URL: http://mathnet.ru/eng/jsfu40
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Temporal logic (03B44)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reasoning about common knowledge with infinitely many agents
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
- Admissibility of logical inference rules
- The hierarchical approach to modeling knowledge and common knowledge
- Logic of transition systems
- Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997
- Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
- Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms
- Towards a Logic of Rational Agency
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms
- Logical consecutions in discrete linear temporal logic
- Agent-oriented software engineering II. 2nd international workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised papers and invited contributions
This page was built for publication:
