Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}