Inproceedings,
Axiomatizing a Real-Valued Modal Logic.
D. Diaconescu, G. Metcalfe, and L. Schnüriger.Advances in Modal Logic, page 236-251. College Publications, (2016)
Meta data
- BibTeX key
- conf/aiml/DiaconescuMS16
- entry type
- inproceedings
- booktitle
- Advances in Modal Logic
- year
- 2016
- pages
- 236-251
- publisher
- College Publications
- crossref
- conf/aiml/2016
- ee
- http://www.aiml.net/volumes/volume11/Diaconescu-Metcalfe-Schnuriger.pdf
- isbn
- 978-1-84890-201-5
- url
- http://dblp.uni-trier.de/db/conf/aiml/aiml2016.html#DiaconescuMS16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/aiml/DiaconescuMS16
%A Diaconescu, Denisa
%A Metcalfe, George
%A Schnüriger, Laura
%B Advances in Modal Logic
%D 2016
%E Beklemishev, Lev D.
%E Demri, Stéphane
%E Maté, András
%I College Publications
%K dblp
%P 236-251
%T Axiomatizing a Real-Valued Modal Logic.
%U http://dblp.uni-trier.de/db/conf/aiml/aiml2016.html#DiaconescuMS16
%@ 978-1-84890-201-5
@inproceedings{conf/aiml/DiaconescuMS16,
added-at = {2020-03-12T00:00:00.000+0100},
author = {Diaconescu, Denisa and Metcalfe, George and Schnüriger, Laura},
biburl = {https://www.bibsonomy.org/bibtex/2f416fea4e3361d2c180034ed8b0121a5/dblp},
booktitle = {Advances in Modal Logic},
crossref = {conf/aiml/2016},
editor = {Beklemishev, Lev D. and Demri, Stéphane and Maté, András},
ee = {http://www.aiml.net/volumes/volume11/Diaconescu-Metcalfe-Schnuriger.pdf},
interhash = {83a2d8433714f12d92e60ce1b09239d4},
intrahash = {f416fea4e3361d2c180034ed8b0121a5},
isbn = {978-1-84890-201-5},
keywords = {dblp},
pages = {236-251},
publisher = {College Publications},
timestamp = {2024-04-09T20:03:32.000+0200},
title = {Axiomatizing a Real-Valued Modal Logic.},
url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2016.html#DiaconescuMS16},
year = 2016
}