I agree that this site is using cookies. You can find further informations here.
X
Conradie, Willem
31  results:
Articles (Online) X
Search for persons X
?
1

Modal reduction principles: a parametric shift to graphs:

Conradie, Willem ; Manoorkar, Krishna ; Palmigiano, Alessandra.
Journal of Applied Non-Classical Logics.  34 (2024)  2-3 - p. 174-222 , 2024
Link: https://doi.org/10.1080/..
 
?
2

Modal reduction principles across relational semantics:

Conradie, Willem ; De Domenico, Andrea ; Manoorkar, Krishna...
Fuzzy Sets and Systems.  481 (2024)  - p. 108892 , 2024
Link: https://doi.org/10.1016/..
 
?
3

Fuzzy Halpern and Shoham's interval temporal logics:

Conradie, Willem ; Della Monica, Dario ; Muñoz-Velasco, Emilio..
Fuzzy Sets and Systems.  456 (2023)  - p. 107-124 , 2023
Link: https://doi.org/10.1016/..
 
?
4

Reframing purpose and conceptions of success for a post-Cov..:

Dison, Laura ; Padayachee, Kershree ; De Klerk, Danie...
Scholarship of Teaching and Learning in the South.  6 (2022)  1 - p. 33-54 , 2022
Link: https://doi.org/10.36615..
 
?
5

Rough concepts:

Conradie, Willem ; Frittella, Sabine ; Manoorkar, Krishna...
Information Sciences.  561 (2021)  - p. 371-413 , 2021
Link: https://doi.org/10.1016/..
 
?
6

Modelling socio-political competition:

Conradie, Willem ; Palmigiano, Alessandra ; Robinson, Claudette..
Fuzzy Sets and Systems.  407 (2021)  - p. 115-141 , 2021
Link: https://doi.org/10.1016/..
 
?
7

Probabilistic Epistemic Updates on Algebras:

Conradie, Willem ; Frittella, Sabine ; Palmigiano, Alessandra..
ACM Transactions on Computational Logic.  20 (2019)  4 - p. 1-75 , 2019
Link: https://doi.org/10.1145/..
 
?
8

Probabilistic Epistemic Updates on Algebras:

Conradie, Willem ; Frittella, Sabine ; Palmigiano, Alessandra..
ACM Transactions on Computational Logic (TOCL).  20 (2019)  4 - p. 1-75 , 2019
Link: https://dl.acm.org/doi/1..
 
?
9

Algorithmic correspondence and canonicity for non-distribut..:

Conradie, Willem ; Palmigiano, Alessandra
Annals of Pure and Applied Logic.  170 (2019)  9 - p. 923-974 , 2019
Link: https://doi.org/10.1016/..
 
?
10

Analogues of Bull's theorem for hybrid logic:

Conradie, Willem ; Robinson, Claudette
Logic Journal of the IGPL.  27 (2018)  3 - p. 281-313 , 2018
Link: https://doi.org/10.1093/..
 
?
11

Algebraic modal correspondence: Sahlqvist and beyond:

Conradie, Willem ; Palmigiano, Alessandra ; Sourabh, Sumit
Journal of Logical and Algebraic Methods in Programming.  91 (2017)  - p. 60-84 , 2017
Link: https://doi.org/10.1016/..
 
?
12

Canonicity results for mu-calculi: an algorithmic approach:

Conradie, Willem ; Craig, Andrew
Journal of Logic and Computation.  27 (2017)  3 - p. 705-748 , 2017
Link: https://doi.org/10.1093/..
 
?
13

On Sahlqvist theory for hybrid logics:

Conradie, Willem ; Robinson, Claudette
Journal of Logic and Computation.  , 2015
Link: https://doi.org/10.1093/..
 
?
14

Algorithmic correspondence for intuitionistic modal mu-calc..:

Conradie, Willem ; Fomatati, Yves ; Palmigiano, Alessandra.
Theoretical Computer Science.  564 (2015)  - p. 30-62 , 2015
Link: https://doi.org/10.1016/..
 
?
15

Algorithmic correspondence and canonicity for distributive ..:

Conradie, Willem ; Palmigiano, Alessandra
Annals of Pure and Applied Logic.  163 (2012)  3 - p. 338-376 , 2012
Link: https://doi.org/10.1016/..
 
1-15