default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWillem Conradie
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j25]Willem Conradie, Andrea De Domenico
, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis:
Modal reduction principles across relational semantics. Fuzzy Sets Syst. 481: 108892 (2024)- [j24]Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere:
Modal reduction principles: a parametric shift to graphs. J. Appl. Non Class. Logics 34(2-3): 174-222 (2024) - [c21]Guy Axelrod, Willem Conradie:
Prefixed Tableaux and Decision Procedures for Many-Valued Modal Logics. PAAR+SC²@IJCAR 2024: 10-27 - 2023
- [j23]Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan:
Fuzzy Halpern and Shoham's interval temporal logics. Fuzzy Sets Syst. 456: 107-124 (2023) - [c20]Willem Conradie, Riccardo Monego, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan:
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. TIME 2023: 9:1-9:14 - 2022
- [c19]Willem Conradie:
On parametric phenomena in correspondence theory. AiML 2022: 3-6 - [c18]Willem Conradie, Mattia Panettiere:
Modal inverse correspondence via ALBA. AiML 2022: 259-280 - [i9]Willem Conradie, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis:
Modal reduction principles across relational semantics. CoRR abs/2202.00899 (2022) - [i8]Willem Conradie, Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis:
Unified inverse correspondence for DLE-Logics. CoRR abs/2203.09199 (2022) - 2021
- [j22]Willem Conradie, Alessandra Palmigiano, Claudette Robinson, Apostolos Tzimoulis, Nachoem Wijnberg:
Modelling socio-political competition. Fuzzy Sets Syst. 407: 115-141 (2021) - [j21]Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg:
Rough concepts. Inf. Sci. 561: 371-413 (2021) - [c17]Willem Conradie, Valentin Goranko, Peter Jipsen:
Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL. RAMiCS 2021: 126-143 - [i7]Willem Conradie, Valentin Goranko, Peter Jipsen:
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report). CoRR abs/2108.06603 (2021) - 2020
- [j20]Willem Conradie, Salih Durhan, Guido Sciavicco:
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II). Log. Methods Comput. Sci. 16(2) (2020) - [j19]Willem Conradie, Alessandra Palmigiano:
Constructive Canonicity of Inductive Inequalities. Log. Methods Comput. Sci. 16(3) (2020) - [c16]Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco:
An Approach to Fuzzy Modal Logic of Time Intervals. ECAI 2020: 696-703 - [c15]Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan:
Time Series Checking with Fuzzy Interval Temporal Logics. ICTCS 2020: 250-262
2010 – 2019
- 2019
- [j18]Willem Conradie, Alessandra Palmigiano:
Algorithmic correspondence and canonicity for non-distributive logics. Ann. Pure Appl. Log. 170(9): 923-974 (2019) - [j17]Willem Conradie, Claudette Robinson:
Analogues of Bull's theorem for hybrid logic. Log. J. IGPL 27(3): 281-313 (2019) - [j16]Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao:
Sahlqvist via Translation. Log. Methods Comput. Sci. 15(1) (2019) - [j15]Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg:
Probabilistic Epistemic Updates on Algebras. ACM Trans. Comput. Log. 20(4): 24:1-24:75 (2019) - [c14]Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem Wijnberg:
Modelling competing theories. EUSFLAT Conf. 2019 - [c13]Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg:
Modelling Informational Entropy. WoLLIC 2019: 140-160 - [i6]Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg:
Rough concepts. CoRR abs/1907.00359 (2019) - 2018
- [j14]Willem Conradie, Salih Durhan, Guido Sciavicco:
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I). Log. Methods Comput. Sci. 14(2) (2018) - [i5]Willem Conradie, Salih Durhan, Guido Sciavicco:
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I). CoRR abs/1805.08425 (2018) - [i4]Willem Conradie, Salih Durhan, Guido Sciavicco:
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II). CoRR abs/1809.04468 (2018) - 2017
- [j13]Willem Conradie, Alessandra Palmigiano, Sumit Sourabh:
Algebraic modal correspondence: Sahlqvist and beyond. J. Log. Algebraic Methods Program. 91: 60-84 (2017) - [j12]Willem Conradie, Alessandra Palmigiano:
Editorial. J. Log. Comput. 27(3): 607-608 (2017) - [j11]Willem Conradie, Andrew Craig:
Canonicity results for mu-calculi: an algorithmic approach. J. Log. Comput. 27(3): 705-748 (2017) - [j10]Willem Conradie, Claudette Robinson:
On Sahlqvist theory for hybrid logics. J. Log. Comput. 27(3): 867-900 (2017) - [c12]Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao:
Constructive Canonicity for Lattice-Based Fixed Point Logics. WoLLIC 2017: 92-109 - [c11]Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg:
Toward an Epistemic-Logical Theory of Categorization. TARK 2017: 167-186 - 2016
- [c10]Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg:
Categories: How I Learned to Stop Worrying and Love Two Sorts. WoLLIC 2016: 145-164 - 2015
- [b2]Willem Conradie, Valentin Goranko, Claudette Robinson:
Logic and Discrete Mathematics - A Concise Introduction, Solutions Manual. Wiley 2015, ISBN 978-1-118-76267-7, pp. 1-184 - [b1]Willem Conradie, Valentin Goranko:
Logic and Discrete Mathematics - A Concise Introduction. Wiley 2015, ISBN 978-1-118-75127-5, pp. I-XIX, 1-426 - [j9]Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh:
Algorithmic correspondence for intuitionistic modal mu-calculus. Theor. Comput. Sci. 564: 30-62 (2015) - [c9]Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis:
Probabilistic Epistemic Updates on Algebras. LORI 2015: 64-76 - [i3]Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao:
Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA. CoRR abs/1511.04271 (2015) - 2014
- [p1]Willem Conradie, Silvio Ghilardi, Alessandra Palmigiano:
Unified Correspondence. Johan van Benthem on Logic and Information Dynamics 2014: 933-975 - [i2]Willem Conradie, Andrew Craig:
Canonicity results for mu-calculi: an algorithmic approach. CoRR abs/1408.6367 (2014) - 2013
- [j8]Willem Conradie, Wilmari Morton, Clint J. van Alten:
An algebraic look at filtrations in modal logic. Log. J. IGPL 21(5): 788-811 (2013) - [c8]Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh:
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1. TACL 2013: 52-56 - [c7]Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh:
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2. TACL 2013: 57-60 - [c6]Claudette Robinson, Willem Conradie:
An analogue of Bull's theorem for Hybrid Logic. TACL 2013: 179-182 - 2012
- [j7]Willem Conradie, Alessandra Palmigiano:
Algorithmic correspondence and canonicity for distributive modal logic. Ann. Pure Appl. Log. 163(3): 338-376 (2012) - [c5]Willem Conradie, Salih Durhan, Guido Sciavicco:
An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders. TIME 2012: 47-54 - 2011
- [c4]Willem Conradie, Guido Sciavicco:
On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case. CAEPIA 2011: 173-182 - 2010
- [j6]Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. J. Appl. Log. 8(4): 319-333 (2010)
2000 – 2009
- 2009
- [j5]Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. Fundam. Informaticae 92(4): 307-343 (2009) - 2008
- [j4]Willem Conradie, Valentin Goranko:
Algorithmic correspondence and completeness in modal logic. J. Appl. Non Class. Logics 18(2-3): 175-211 (2008) - 2007
- [c3]Willem Conradie:
Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA. M4M 2007: 175-190 - 2006
- [j3]Willem Conradie:
On the strength and scope of DLS. J. Appl. Non Class. Logics 16(3-4): 279-296 (2006) - [j2]Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. Log. Methods Comput. Sci. 2(1) (2006) - [j1]Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA. J. Log. Comput. 16(5): 579-612 (2006) - [c2]Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema:
Definitorially Complete Description Logics. KR 2006: 79-89 - [i1]Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. CoRR abs/cs/0602024 (2006) - 2004
- [c1]Willem Conradie, Valentin Goranko, Dimiter Vakarelov:
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. Advances in Modal Logic 2004: 17-51
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:20 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:
