%0 Journal Article %1 journals/logcom/CastilhoGH99 %A Castilho, Marcos A. %A Gasquet, Olivier %A Herzig, Andreas %D 1999 %J J. Log. Comput. %K dblp %N 5 %P 701-735 %T Formalizing Action and Change in Modal Logic I: the frame problem. %U http://dblp.uni-trier.de/db/journals/logcom/logcom9.html#CastilhoGH99 %V 9

@article{journals/logcom/CastilhoGH99, added-at = {2011-06-29T00:00:00.000+0200}, author = {Castilho, Marcos A. and Gasquet, Olivier and Herzig, Andreas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b23818fd4d1cbe951a043d2d30aed40b/dblp}, ee = {http://dx.doi.org/10.1093/logcom/9.5.701}, interhash = {db9ef4e61869c903c2c866ff1dfaf5e9}, intrahash = {b23818fd4d1cbe951a043d2d30aed40b}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 5, pages = {701-735}, timestamp = {2016-02-02T02:40:41.000+0100}, title = {Formalizing Action and Change in Modal Logic I: the frame problem.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom9.html#CastilhoGH99}, volume = 9, year = 1999 }