Dynamic Logic of Propositional Commitments [chapter]

Tomoyuki Yamada
2011 Between Logic and Reality  
doi:10.1007/978-94-007-2390-0_10 dblp:series/leus/Yamada12 fatcat:omekzr76wferbbaseoqgez7gwy