Combinations of stit and actions
type: Item
instance of: scholarly article
title: Combinations of stit and actions
zbMATH Open document ID: 1216.03039
author: Ming Xu
published in: Journal of Logic, Language and Information
publication date: 2011-01-07T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 5833739
zbMATH Keywords: stit
zbMATH Keywords: logic of agency
zbMATH Keywords: logic of action
zbMATH Keywords: branching time
MaRDI profile type: Publication
full work available at URL: s10849-009-9119-4
OpenAlex ID: W2161712351
cites work: Alternative axiomatics and complexity of deliberative STIT theories
cites work: Q4211441
cites work: A Theory of Causation: Causae Causantes (Originating Causes) as Inus Conditions in Branching Space-Times
cites work: A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
cites work: A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
cites work: Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
cites work: A STIT-Extension of ATL
cites work: Q3400789
cites work: On the logic of ability
cites work: Acting, Events and Actions
cites work: Q5387552
cites work: Q5422030
cites work: Q3629247
cites work: Merging frameworks for interaction
cites work: Q3509047
cites work: Deontic logic in computer science. 9th international conference, DEON 2008, Luxembourg, Luxembourg, July 15--18, 2008. Proceedings
cites work: Causation
cites work: Q3509070
cites work: Propositional \(\text Q\)-logic
cites work: Events in branching time
cites work: Q4518432
cites work: Causation in branching time. I: Transitions, events and causes
cites work: Axioms for deliberative stit
DOI: 10.1007/S10849-009-9119-4
description: scientific article; zbMATH DE number 5833739