A sequent calculus for propositional dynamic logic for agents

DOI10.1023/B:LIMA.0000046874.58744.C3zbMath1076.03015OpenAlexW2143833769MaRDI QIDQ2571499

Jurate Saskalauskaite

Publication date: 11 November 2005

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

Full work available at URL: https://doi.org/10.1023/b:lima.0000046874.58744.c3

zbMATH Keywords

sequent calculusagentscommitmentpropositional dynamic logicrestricted cut rule

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Structure of proofs (03F07)

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