E-LIB Suche - Ergebnisse für: Conradie, Willem

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

Algorithmic Correspondence for Relevance Logics I. The Algo..:

, In: Outstanding Contributions to Logic; Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs,

Conradie, Willem ; Goranko, Valentin - p. 163-211 , 2021

Link: https://doi.org/10.1007/..

6

Rough concepts:

Conradie, Willem ; Frittella, Sabine ; Manoorkar, Krishna...
Information Sciences. 561 (2021) - p. 371-413 , 2021

Link: https://doi.org/10.1016/..

7

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/..

8

Algorithmic Correspondence for Relevance Logics, Bunched Im..:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,

Conradie, Willem ; Goranko, Valentin ; Jipsen, Peter - p. 126-143 , 2021

Link: https://doi.org/10.1007/..

9

Algebraic Semantics for Hybrid Logics:

, In: Logic in Asia: Studia Logica Library; Nonclassical Logics and Their Applications,

Conradie, Willem ; Robinson, Claudette - p. 123-154 , 2020

Link: https://doi.org/10.1007/..

10

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/..

11

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..

12

Modelling Informational Entropy:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

Conradie, Willem ; Craig, Andrew ; Palmigiano, Alessandra. - p. 140-160 , 2019

Link: https://doi.org/10.1007/..

13

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/..

14

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/..

15

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/..