%0 Conference Paper %1 conf/nmr/Marek84 %A Marek, V. Wiktor %B NMR %D 1984 %I American Association for Artificial Intelligence (AAAI) %K dblp %P 194-240 %T A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing. %U http://dblp.uni-trier.de/db/conf/nmr/nmr1984.html#Marek84

@inproceedings{conf/nmr/Marek84, added-at = {2017-03-20T00:00:00.000+0100}, author = {Marek, V. Wiktor}, biburl = {https://www.bibsonomy.org/bibtex/26cb839b8f6bd0282a27351e690ce544a/dblp}, booktitle = {NMR}, crossref = {conf/nmr/1984}, interhash = {5e732512e006e6918b70fb792aa4ed25}, intrahash = {6cb839b8f6bd0282a27351e690ce544a}, keywords = {dblp}, pages = {194-240}, publisher = {American Association for Artificial Intelligence (AAAI)}, timestamp = {2018-06-23T11:37:53.000+0200}, title = {A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing.}, url = {http://dblp.uni-trier.de/db/conf/nmr/nmr1984.html#Marek84}, year = 1984 }