Inproceedings,
An Intuitionistic Axiomatization of 'Eventually'.
M. Diéguez, and D. Fernández-Duque.Advances in Modal Logic, page 199-218. College Publications, (2018)
Meta data
- BibTeX key
- conf/aiml/DieguezF18
- entry type
- inproceedings
- booktitle
- Advances in Modal Logic
- year
- 2018
- pages
- 199-218
- publisher
- College Publications
- crossref
- conf/aiml/2018
- ee
- http://www.aiml.net/volumes/volume12/Dieguez-FernandezDuque.pdf
- isbn
- 978-1-84890-255-8
- url
- http://dblp.uni-trier.de/db/conf/aiml/aiml2018.html#DieguezF18
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/aiml/DieguezF18
%A Diéguez, Martín
%A Fernández-Duque, David
%B Advances in Modal Logic
%D 2018
%E Bezhanishvili, Guram
%E D'Agostino, Giovanna
%E Metcalfe, George
%E Studer, Thomas
%I College Publications
%K dblp
%P 199-218
%T An Intuitionistic Axiomatization of 'Eventually'.
%U http://dblp.uni-trier.de/db/conf/aiml/aiml2018.html#DieguezF18
%@ 978-1-84890-255-8
@inproceedings{conf/aiml/DieguezF18,
added-at = {2024-02-05T00:00:00.000+0100},
author = {Diéguez, Martín and Fernández-Duque, David},
biburl = {https://www.bibsonomy.org/bibtex/23fa879a6a153ca7b4a28e23597828973/dblp},
booktitle = {Advances in Modal Logic},
crossref = {conf/aiml/2018},
editor = {Bezhanishvili, Guram and D'Agostino, Giovanna and Metcalfe, George and Studer, Thomas},
ee = {http://www.aiml.net/volumes/volume12/Dieguez-FernandezDuque.pdf},
interhash = {a7f60a0bec48e7f7234c7c4aa99f2987},
intrahash = {3fa879a6a153ca7b4a28e23597828973},
isbn = {978-1-84890-255-8},
keywords = {dblp},
pages = {199-218},
publisher = {College Publications},
timestamp = {2024-04-09T20:03:23.000+0200},
title = {An Intuitionistic Axiomatization of 'Eventually'.},
url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2018.html#DieguezF18},
year = 2018
}