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

1

Modal reduction principles across relational semantics:

Conradie, Willem ; De Domenico, Andrea ; Manoorkar, Krishna...
Fuzzy Sets and Systems. 481 (2024) - p. 108892 , 2024

2

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

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

6

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

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

Rough concepts:

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

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

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

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

11

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

12

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

13

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

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

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