A sequent calculus for propositional dynamic logic for agents with interactions

DOI10.1007/S10986-005-0025-4zbMath1109.03014OpenAlexW2025571074MaRDI QIDQ852274

Jurate Saskalauskaite

Publication date: 28 November 2006

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10986-005-0025-4

zbMATH Keywords

knowledgesequent calculusdynamic logicinteractioncommitmentcut rulewishes

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05)

Cites Work

• Interactions between knowledge, action and commitment within agent dynamic logic

This page was built for publication: A sequent calculus for propositional dynamic logic for agents with interactions