Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Willem Conradie
@article{DBLP:journals/fss/ConradieMMSS23,
author = {Willem Conradie and
Dario Della Monica and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco and
Ionel Eduard Stan},
title = {Fuzzy Halpern and Shoham's interval temporal logics},
journal = {Fuzzy Sets Syst.},
volume = {456},
pages = {107--124},
year = {2023},
url = {https://doi.org/10.1016/j.fss.2022.05.014},
doi = {10.1016/J.FSS.2022.05.014},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/ConradieMMSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ConradieMMSS23,
author = {Willem Conradie and
Riccardo Monego and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Alexander Artikis and
Florian Bruse and
Luke Hunsberger},
title = {A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's
Interval Temporal Logic},
booktitle = {30th International Symposium on Temporal Representation and Reasoning,
{TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
series = {LIPIcs},
volume = {278},
pages = {9:1--9:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.TIME.2023.9},
doi = {10.4230/LIPICS.TIME.2023.9},
timestamp = {Mon, 18 Sep 2023 16:35:37 +0200},
biburl = {https://dblp.org/rec/conf/time/ConradieMMSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Conradie22,
author = {Willem Conradie},
editor = {David Fern{\'{a}}ndez{-}Duque and
Alessandra Palmigiano and
Sophie Pinchinat},
title = {On parametric phenomena in correspondence theory},
booktitle = {Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25,
2022},
pages = {3--6},
publisher = {College Publications},
year = {2022},
url = {http://www.aiml.net/volumes/volume14/02-Conradie.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Conradie22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/ConradieP22,
author = {Willem Conradie and
Mattia Panettiere},
editor = {David Fern{\'{a}}ndez{-}Duque and
Alessandra Palmigiano and
Sophie Pinchinat},
title = {Modal inverse correspondence via {ALBA}},
booktitle = {Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25,
2022},
pages = {259--280},
publisher = {College Publications},
year = {2022},
url = {http://www.aiml.net/volumes/volume14/18-Conradie-Panettiere.pdf},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/ConradieP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-00899,
author = {Willem Conradie and
Andrea De Domenico and
Krishna Manoorkar and
Alessandra Palmigiano and
Mattia Panettiere and
Daira Pinto Prieto and
Apostolos Tzimoulis},
title = {Modal reduction principles across relational semantics},
journal = {CoRR},
volume = {abs/2202.00899},
year = {2022},
url = {https://arxiv.org/abs/2202.00899},
eprinttype = {arXiv},
eprint = {2202.00899},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-00899.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-09199,
author = {Willem Conradie and
Andrea De Domenico and
Giuseppe Greco and
Alessandra Palmigiano and
Mattia Panettiere and
Apostolos Tzimoulis},
title = {Unified inverse correspondence for DLE-Logics},
journal = {CoRR},
volume = {abs/2203.09199},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.09199},
doi = {10.48550/ARXIV.2203.09199},
eprinttype = {arXiv},
eprint = {2203.09199},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-09199.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/ConradiePRTW21,
author = {Willem Conradie and
Alessandra Palmigiano and
Claudette Robinson and
Apostolos Tzimoulis and
Nachoem Wijnberg},
title = {Modelling socio-political competition},
journal = {Fuzzy Sets Syst.},
volume = {407},
pages = {115--141},
year = {2021},
url = {https://doi.org/10.1016/j.fss.2020.02.005},
doi = {10.1016/J.FSS.2020.02.005},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/ConradiePRTW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/ConradieFMNPTW21,
author = {Willem Conradie and
Sabine Frittella and
Krishna Manoorkar and
Sajad Nazari and
Alessandra Palmigiano and
Apostolos Tzimoulis and
Nachoem M. Wijnberg},
title = {Rough concepts},
journal = {Inf. Sci.},
volume = {561},
pages = {371--413},
year = {2021},
url = {https://doi.org/10.1016/j.ins.2020.05.074},
doi = {10.1016/J.INS.2020.05.074},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/ConradieFMNPTW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/ConradieGJ21,
author = {Willem Conradie and
Valentin Goranko and
Peter Jipsen},
editor = {Uli Fahrenberg and
Mai Gehrke and
Luigi Santocanale and
Michael Winter},
title = {Algorithmic Correspondence for Relevance Logics, Bunched Implication
Logics, and Relation Algebras via an Implementation of the Algorithm
{PEARL}},
booktitle = {Relational and Algebraic Methods in Computer Science - 19th International
Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13027},
pages = {126--143},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88701-8\_8},
doi = {10.1007/978-3-030-88701-8\_8},
timestamp = {Mon, 25 Oct 2021 18:18:58 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/ConradieGJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-06603,
author = {Willem Conradie and
Valentin Goranko and
Peter Jipsen},
title = {Algorithmic correspondence for relevance logics, bunched implication
logics, and relation algebras: the algorithm {PEARL} and its implementation
(Technical Report)},
journal = {CoRR},
volume = {abs/2108.06603},
year = {2021},
url = {https://arxiv.org/abs/2108.06603},
eprinttype = {arXiv},
eprint = {2108.06603},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-06603.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ConradieDS20,
author = {Willem Conradie and
Salih Durhan and
Guido Sciavicco},
title = {An Integrated First-Order Theory of Points and Intervals over Linear
Orders (Part {II)}},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {2},
year = {2020},
url = {https://doi.org/10.23638/LMCS-16(2:1)2020},
doi = {10.23638/LMCS-16(2:1)2020},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ConradieDS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ConradieP20,
author = {Willem Conradie and
Alessandra Palmigiano},
title = {Constructive Canonicity of Inductive Inequalities},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {3},
year = {2020},
url = {https://lmcs.episciences.org/6694},
timestamp = {Wed, 19 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ConradieP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ConradieMMS20,
author = {Willem Conradie and
Dario Della Monica and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {An Approach to Fuzzy Modal Logic of Time Intervals},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {696--703},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200156},
doi = {10.3233/FAIA200156},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/ConradieMMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/ConradieMMSS20,
author = {Willem Conradie and
Dario Della Monica and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Gennaro Cordasco and
Luisa Gargano and
Adele A. Rescigno},
title = {Time Series Checking with Fuzzy Interval Temporal Logics},
booktitle = {Proceedings of the 21st Italian Conference on Theoretical Computer
Science, Ischia, Italy, September 14-16, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2756},
pages = {250--262},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2756/paper\_29.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/ConradieMMSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ConradieP19,
author = {Willem Conradie and
Alessandra Palmigiano},
title = {Algorithmic correspondence and canonicity for non-distributive logics},
journal = {Ann. Pure Appl. Log.},
volume = {170},
number = {9},
pages = {923--974},
year = {2019},
url = {https://doi.org/10.1016/j.apal.2019.04.003},
doi = {10.1016/J.APAL.2019.04.003},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/ConradieP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ConradieR19,
author = {Willem Conradie and
Claudette Robinson},
title = {Analogues of Bull's theorem for hybrid logic},
journal = {Log. J. {IGPL}},
volume = {27},
number = {3},
pages = {281--313},
year = {2019},
url = {https://doi.org/10.1093/jigpal/jzy039},
doi = {10.1093/JIGPAL/JZY039},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ConradieR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ConradiePZ19,
author = {Willem Conradie and
Alessandra Palmigiano and
Zhiguang Zhao},
title = {Sahlqvist via Translation},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {1},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(1:15)2019},
doi = {10.23638/LMCS-15(1:15)2019},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ConradiePZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ConradieFPTW19,
author = {Willem Conradie and
Sabine Frittella and
Alessandra Palmigiano and
Apostolos Tzimoulis and
Nachoem Wijnberg},
title = {Probabilistic Epistemic Updates on Algebras},
journal = {{ACM} Trans. Comput. Log.},
volume = {20},
number = {4},
pages = {24:1--24:75},
year = {2019},
url = {https://doi.org/10.1145/3341725},
doi = {10.1145/3341725},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/ConradieFPTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/ConradieCPW19,
author = {Willem Conradie and
Andrew Craig and
Alessandra Palmigiano and
Nachoem Wijnberg},
editor = {Vil{\'{e}}m Nov{\'{a}}k and
Vladim{\'{\i}}r Mar{\'{\i}}k and
Martin Stepnicka and
Mirko Navara and
Petr Hurt{\'{\i}}k},
title = {Modelling competing theories},
booktitle = {Proceedings of the 11th Conference of the European Society for Fuzzy
Logic and Technology, {EUSFLAT} 2019, Prague, Czech Republic, September
9-13, 2019},
series = {Atlantis Studies in Uncertainty Modelling},
volume = {1},
publisher = {Atlantis Press},
year = {2019},
url = {https://doi.org/10.2991/eusflat-19.2019.100},
doi = {10.2991/EUSFLAT-19.2019.100},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eusflat/ConradieCPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/ConradieCPW19,
author = {Willem Conradie and
Andrew Craig and
Alessandra Palmigiano and
Nachoem M. Wijnberg},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Modelling Informational Entropy},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {140--160},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_9},
doi = {10.1007/978-3-662-59533-6\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/ConradieCPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00359,
author = {Willem Conradie and
Sabine Frittella and
Krishna Manoorkar and
Sajad Nazari and
Alessandra Palmigiano and
Apostolos Tzimoulis and
Nachoem M. Wijnberg},
title = {Rough concepts},
journal = {CoRR},
volume = {abs/1907.00359},
year = {2019},
url = {http://arxiv.org/abs/1907.00359},
eprinttype = {arXiv},
eprint = {1907.00359},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-00359.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ConradieDS18,
author = {Willem Conradie and
Salih Durhan and
Guido Sciavicco},
title = {An Integrated First-Order Theory of Points and Intervals over Linear
Orders (Part {I)}},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {2},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(2:15)2018},
doi = {10.23638/LMCS-14(2:15)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ConradieDS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-08425,
author = {Willem Conradie and
Salih Durhan and
Guido Sciavicco},
title = {An Integrated First-Order Theory of Points and Intervals over Linear
Orders (Part {I)}},
journal = {CoRR},
volume = {abs/1805.08425},
year = {2018},
url = {http://arxiv.org/abs/1805.08425},
eprinttype = {arXiv},
eprint = {1805.08425},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-08425.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-04468,
author = {Willem Conradie and
Salih Durhan and
Guido Sciavicco},
title = {An Integrated First-Order Theory of Points and Intervals over Linear
Orders (Part {II)}},
journal = {CoRR},
volume = {abs/1809.04468},
year = {2018},
url = {http://arxiv.org/abs/1809.04468},
eprinttype = {arXiv},
eprint = {1809.04468},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-04468.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ConradiePS17,
author = {Willem Conradie and
Alessandra Palmigiano and
Sumit Sourabh},
title = {Algebraic modal correspondence: Sahlqvist and beyond},
journal = {J. Log. Algebraic Methods Program.},
volume = {91},
pages = {60--84},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2016.10.006},
doi = {10.1016/J.JLAMP.2016.10.006},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ConradiePS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ConradieP17,
author = {Willem Conradie and
Alessandra Palmigiano},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {27},
number = {3},
pages = {607--608},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx013},
doi = {10.1093/LOGCOM/EXX013},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ConradieP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ConradieC17,
author = {Willem Conradie and
Andrew Craig},
title = {Canonicity results for mu-calculi: an algorithmic approach},
journal = {J. Log. Comput.},
volume = {27},
number = {3},
pages = {705--748},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx011},
doi = {10.1093/LOGCOM/EXX011},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ConradieC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ConradieR17,
author = {Willem Conradie and
Claudette Robinson},
title = {On Sahlqvist theory for hybrid logics},
journal = {J. Log. Comput.},
volume = {27},
number = {3},
pages = {867--900},
year = {2017},
url = {https://doi.org/10.1093/logcom/exv045},
doi = {10.1093/LOGCOM/EXV045},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ConradieR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/ConradieCPZ17,
author = {Willem Conradie and
Andrew Craig and
Alessandra Palmigiano and
Zhiguang Zhao},
editor = {Juliette Kennedy and
Ruy J. G. B. de Queiroz},
title = {Constructive Canonicity for Lattice-Based Fixed Point Logics},
booktitle = {Logic, Language, Information, and Computation - 24th International
Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10388},
pages = {92--109},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55386-2\_7},
doi = {10.1007/978-3-662-55386-2\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/ConradieCPZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ConradieFPPTW17,
author = {Willem Conradie and
Sabine Frittella and
Alessandra Palmigiano and
Michele Piazzai and
Apostolos Tzimoulis and
Nachoem Wijnberg},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Toward an Epistemic-Logical Theory of Categorization},
booktitle = {Proceedings Sixteenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2017, Liverpool, UK, 24-26 July 2017},
series = {{EPTCS}},
volume = {251},
pages = {167--186},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.251.12},
doi = {10.4204/EPTCS.251.12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ConradieFPPTW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/ConradieFPPTW16,
author = {Willem Conradie and
Sabine Frittella and
Alessandra Palmigiano and
Michele Piazzai and
Apostolos Tzimoulis and
Nachoem Wijnberg},
editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and
{\AA}sa Hirvonen and
Ruy J. G. B. de Queiroz},
title = {Categories: How {I} Learned to Stop Worrying and Love Two Sorts},
booktitle = {Logic, Language, Information, and Computation - 23rd International
Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9803},
pages = {145--164},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-52921-8\_10},
doi = {10.1007/978-3-662-52921-8\_10},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/ConradieFPPTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0035743,
author = {Willem Conradie and
Valentin Goranko and
Claudette Robinson},
title = {Logic and Discrete Mathematics - {A} Concise Introduction, Solutions
Manual},
publisher = {Wiley},
year = {2015},
url = {http://eu.wiley.com/WileyCDA/WileyTitle/productCd-1118762673.html},
isbn = {978-1-118-76267-7},
timestamp = {Tue, 14 Jul 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0035743.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0035742,
author = {Willem Conradie and
Valentin Goranko},
title = {Logic and Discrete Mathematics - {A} Concise Introduction},
publisher = {Wiley},
year = {2015},
url = {http://eu.wiley.com/WileyCDA/WileyTitle/productCd-1118751272.html},
isbn = {978-1-118-75127-5},
timestamp = {Fri, 07 Aug 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0035742.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ConradieFPS15,
author = {Willem Conradie and
Yves Fomatati and
Alessandra Palmigiano and
Sumit Sourabh},
title = {Algorithmic correspondence for intuitionistic modal mu-calculus},
journal = {Theor. Comput. Sci.},
volume = {564},
pages = {30--62},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2014.10.027},
doi = {10.1016/J.TCS.2014.10.027},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ConradieFPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/ConradieFPT15,
author = {Willem Conradie and
Sabine Frittella and
Alessandra Palmigiano and
Apostolos Tzimoulis},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {Probabilistic Epistemic Updates on Algebras},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {64--76},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_6},
doi = {10.1007/978-3-662-48561-3\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/ConradieFPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ConradiePSZ15,
author = {Willem Conradie and
Alessandra Palmigiano and
Sumit Sourabh and
Zhiguang Zhao},
title = {Canonicity and Relativized Canonicity via Pseudo-Correspondence: an
Application of {ALBA}},
journal = {CoRR},
volume = {abs/1511.04271},
year = {2015},
url = {http://arxiv.org/abs/1511.04271},
eprinttype = {arXiv},
eprint = {1511.04271},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ConradiePSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/ConradieGP14,
author = {Willem Conradie and
Silvio Ghilardi and
Alessandra Palmigiano},
editor = {Alexandru Baltag and
Sonja Smets},
title = {Unified Correspondence},
booktitle = {Johan van Benthem on Logic and Information Dynamics},
pages = {933--975},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06025-5\_36},
doi = {10.1007/978-3-319-06025-5\_36},
timestamp = {Mon, 26 Jun 2023 08:47:47 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/ConradieGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ConradieC14,
author = {Willem Conradie and
Andrew Craig},
title = {Canonicity results for mu-calculi: an algorithmic approach},
journal = {CoRR},
volume = {abs/1408.6367},
year = {2014},
url = {http://arxiv.org/abs/1408.6367},
eprinttype = {arXiv},
eprint = {1408.6367},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ConradieC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ConradieMA13,
author = {Willem Conradie and
Wilmari Morton and
Clint J. van Alten},
title = {An algebraic look at filtrations in modal logic},
journal = {Log. J. {IGPL}},
volume = {21},
number = {5},
pages = {788--811},
year = {2013},
url = {https://doi.org/10.1093/jigpal/jzt001},
doi = {10.1093/JIGPAL/JZT001},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/ConradieMA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacl/ConradieFPS13,
author = {Willem Conradie and
Yves Fomatati and
Alessandra Palmigiano and
Sumit Sourabh},
editor = {Nikolaos Galatos and
Alexander Kurz and
Constantine Tsinakis},
title = {Algorithmic correspondence for intuitionistic modal mu-calculus, Part
1},
booktitle = {{TACL} 2013. Sixth International Conference on Topology, Algebra and
Categories in Logic, Vanderbilt University, Nashville, Tennessee,
USA, July 28 - August 1, 2013},
series = {EPiC Series in Computing},
volume = {25},
pages = {52--56},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/vpww},
doi = {10.29007/VPWW},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacl/ConradieFPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacl/ConradieFPS13a,
author = {Willem Conradie and
Yves Fomatati and
Alessandra Palmigiano and
Sumit Sourabh},
editor = {Nikolaos Galatos and
Alexander Kurz and
Constantine Tsinakis},
title = {Algorithmic correspondence for intuitionistic modal mu-calculus, Part
2},
booktitle = {{TACL} 2013. Sixth International Conference on Topology, Algebra and
Categories in Logic, Vanderbilt University, Nashville, Tennessee,
USA, July 28 - August 1, 2013},
series = {EPiC Series in Computing},
volume = {25},
pages = {57--60},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/r68t},
doi = {10.29007/R68T},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacl/ConradieFPS13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacl/RobinsonC13,
author = {Claudette Robinson and
Willem Conradie},
editor = {Nikolaos Galatos and
Alexander Kurz and
Constantine Tsinakis},
title = {An analogue of Bull's theorem for Hybrid Logic},
booktitle = {{TACL} 2013. Sixth International Conference on Topology, Algebra and
Categories in Logic, Vanderbilt University, Nashville, Tennessee,
USA, July 28 - August 1, 2013},
series = {EPiC Series in Computing},
volume = {25},
pages = {179--182},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/bhm3},
doi = {10.29007/BHM3},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacl/RobinsonC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ConradieP12,
author = {Willem Conradie and
Alessandra Palmigiano},
title = {Algorithmic correspondence and canonicity for distributive modal logic},
journal = {Ann. Pure Appl. Log.},
volume = {163},
number = {3},
pages = {338--376},
year = {2012},
url = {https://doi.org/10.1016/j.apal.2011.10.004},
doi = {10.1016/J.APAL.2011.10.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ConradieP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ConradieDS12,
author = {Willem Conradie and
Salih Durhan and
Guido Sciavicco},
editor = {Ben C. Moszkowski and
Mark Reynolds and
Paolo Terenziani},
title = {An Integrated First-Order Theory of Points and Intervals: Expressive
Power in the Class of All Linear Orders},
booktitle = {19th International Symposium on Temporal Representation and Reasoning,
{TIME} 2012, Leicester, United Kingdom, September 12-14, 2012},
pages = {47--54},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TIME.2012.11},
doi = {10.1109/TIME.2012.11},
timestamp = {Thu, 15 Feb 2024 11:49:14 +0100},
biburl = {https://dblp.org/rec/conf/time/ConradieDS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/ConradieS11,
author = {Willem Conradie and
Guido Sciavicco},
editor = {Jos{\'{e}} Antonio Lozano and
Jos{\'{e}} A. G{\'{a}}mez and
Jos{\'{e}} A. Moreno},
title = {On the Expressive Power of First Order-Logic Extended with Allen's
Relations in the Strict Case},
booktitle = {Advances in Artificial Intelligence - 14th Conference of the Spanish
Association for Artificial Intelligence, {CAEPIA} 2011, La Laguna,
Spain, November 7-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7023},
pages = {173--182},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25274-7\_18},
doi = {10.1007/978-3-642-25274-7\_18},
timestamp = {Wed, 28 Jun 2023 16:19:42 +0200},
biburl = {https://dblp.org/rec/conf/caepia/ConradieS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/ConradieGV10,
author = {Willem Conradie and
Valentin Goranko and
Dimiter Vakarelov},
title = {Algorithmic correspondence and completeness in modal logic. V. Recursive
extensions of {SQEMA}},
journal = {J. Appl. Log.},
volume = {8},
number = {4},
pages = {319--333},
year = {2010},
url = {https://doi.org/10.1016/j.jal.2010.08.002},
doi = {10.1016/J.JAL.2010.08.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/ConradieGV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ConradieGV09,
author = {Willem Conradie and
Valentin Goranko and
Dimiter Vakarelov},
title = {Algorithmic Correspondence and Completeness in Modal Logic. {III.}
Extensions of the Algorithm {SQEMA} with Substitutions},
journal = {Fundam. Informaticae},
volume = {92},
number = {4},
pages = {307--343},
year = {2009},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi92-4-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ConradieGV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/ConradieG08,
author = {Willem Conradie and
Valentin Goranko},
title = {Algorithmic correspondence and completeness in modal logic},
journal = {J. Appl. Non Class. Logics},
volume = {18},
number = {2-3},
pages = {175--211},
year = {2008},
url = {https://doi.org/10.3166/JANCL.18.175-211},
doi = {10.3166/JANCL.18.175-211},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/ConradieG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Conradie09,
author = {Willem Conradie},
editor = {Carlos Areces and
St{\'{e}}phane Demri},
title = {Completeness and Correspondence in Hybrid Logic via an Extension of
{SQEMA}},
booktitle = {Proceedings of the 5th Workshop on Methods for Modalities, {M4M} 2007,
Cachan, France, November 29-30, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {231},
pages = {175--190},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2009.02.035},
doi = {10.1016/J.ENTCS.2009.02.035},
timestamp = {Mon, 27 Feb 2023 09:39:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Conradie09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Conradie06,
author = {Willem Conradie},
title = {On the strength and scope of {DLS}},
journal = {J. Appl. Non Class. Logics},
volume = {16},
number = {3-4},
pages = {279--296},
year = {2006},
url = {https://doi.org/10.3166/jancl.16.279-296},
doi = {10.3166/JANCL.16.279-296},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Conradie06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ConradieGV06,
author = {Willem Conradie and
Valentin Goranko and
Dimiter Vakarelov},
title = {Algorithmic correspondence and completeness in modal logic. I. The
core algorithm {SQEMA}},
journal = {Log. Methods Comput. Sci.},
volume = {2},
number = {1},
year = {2006},
url = {https://doi.org/10.2168/LMCS-2(1:5)2006},
doi = {10.2168/LMCS-2(1:5)2006},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ConradieGV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ConradieGV06,
author = {Willem Conradie and
Valentin Goranko and
Dimiter Vakarelov},
title = {Algorithmic Correspondence and Completeness in Modal Logic. {II.}
Polyadic and Hybrid Extensions of the Algorithm {SQEMA}},
journal = {J. Log. Comput.},
volume = {16},
number = {5},
pages = {579--612},
year = {2006},
url = {https://doi.org/10.1093/logcom/exl026},
doi = {10.1093/LOGCOM/EXL026},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/ConradieGV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CateCMV06,
author = {Balder ten Cate and
Willem Conradie and
Maarten Marx and
Yde Venema},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Definitorially Complete Description Logics},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {79--89},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-011.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CateCMV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0602024,
author = {Willem Conradie and
Valentin Goranko and
Dimiter Vakarelov},
title = {Algorithmic correspondence and completeness in modal logic. I. The
core algorithm {SQEMA}},
journal = {CoRR},
volume = {abs/cs/0602024},
year = {2006},
url = {http://arxiv.org/abs/cs/0602024},
eprinttype = {arXiv},
eprint = {cs/0602024},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0602024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/ConradieGV04,
author = {Willem Conradie and
Valentin Goranko and
Dimiter Vakarelov},
editor = {Renate A. Schmidt and
Ian Pratt{-}Hartmann and
Mark Reynolds and
Heinrich Wansing},
title = {Elementary Canonical Formulae: {A} Survey on Syntactic, Algorithmic,
and Model?theoretic Aspects},
booktitle = {Advances in Modal Logic 5, papers from the fifth conference on "Advances
in Modal logic," held in Manchester, UK, 9-11 September 2004},
pages = {17--51},
publisher = {King's College Publications},
year = {2004},
url = {http://www.aiml.net/volumes/volume5/Goranko.ps},
timestamp = {Thu, 15 Feb 2024 11:49:43 +0100},
biburl = {https://dblp.org/rec/conf/aiml/ConradieGV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
