From BDI and stit to bdi-stit logic
From MaRDI portal
Publication:3534988
DOI10.12775/LLP.2008.011zbMath1159.03013MaRDI QIDQ3534988
Caroline Semmling, Heinrich Wansing
Publication date: 10 November 2008
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
beliefsmodal logic of agencyintentionsneighbourhood semanticsBDI logicdesiresbranching time structuredeliberative stit logic
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)
Related Items
Quantified temporal alethic boulesic doxastic logic ⋮ Inference as doxastic agency. I: The basics of justification stit logic ⋮ Reasoning About Belief Revision ⋮ Making a start with the stit logic analysis of intentional action ⋮ Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)
This page was built for publication: From BDI and stit to bdi-stit logic