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

1

Correspondence Theory for Many-valued Modal Logic:

Britz, Cecelia ; Conradie, Willem ; Morton, Wilmari
http://arxiv.org/abs/2401.07894. , 2024

Link: http://arxiv.org/abs/240..

2

Modal reduction principles across relational semantics:

Conradie, Willem ; De Domenico, Andrea ; Manoorkar, Krishna...
http://arxiv.org/abs/2202.00899. , 2022

Link: http://arxiv.org/abs/220..

3

Unified inverse correspondence for DLE-Logics:

Conradie, Willem ; De Domenico, Andrea ; Greco, Giuseppe...
http://arxiv.org/abs/2203.09199. , 2022

Link: http://arxiv.org/abs/220..

4

Algorithmic correspondence for relevance logics, bunched im..:

Conradie, Willem ; Goranko, Valntin ; Jipsen, Peter
http://arxiv.org/abs/2108.06603. , 2021

Link: http://arxiv.org/abs/210..

5

Modelling socio-political competition:

Conradie, Willem ; Palmigiano, Alessandra ; Robinson, Claudette..
Conradie , W , Palmigiano , A , Robinson , C , Tzimoulis , A & Wijnberg , N 2021 , ' Modelling socio-political competition ' , Fuzzy Sets and Systems , vol. 407 , pp. 115-141 . https://doi.org/10.1016/j.fss.2020.02.005. , 2021

Link: https://research.vu.nl/e..

6

Modelling competing theories:

Conradie, Willem ; Craig, Andrew ; Palmigiano, Alessandra.
Conradie , W , Craig , A , Palmigiano , A & Wijnberg , N 2020 , Modelling competing theories . in V Novak , V Marik , M Stepnicka , M Navara & P Hurtik (eds) , Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019 . Atlantis Press , pp. 721-739 , 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019 , Prague , Czech Republic , 9/09/19 . https://doi.org/10.2991/eusflat-19.2019.100. , 2020

Link: https://research.vu.nl/e..

7

Non-distributive logics: from semantics to meaning:

Conradie, Willem ; Palmigiano, Alessandra ; Robinson, Claudette.
http://arxiv.org/abs/2002.04257. , 2020

Link: http://arxiv.org/abs/200..

8

Constructive canonicity of inductive inequalities:

Conradie, Willem ; Palmigiano, Alessandra
Conradie , W & Palmigiano , A 2020 , ' Constructive canonicity of inductive inequalities ' , Logical Methods in Computer Science , vol. 16 , no. 3 , 8 , pp. 8:1-8:39 . https://doi.org/10.23638/LMCS-16(3:8)2020. , 2020

Link: https://research.vu.nl/e..

9

Modelling socio-political competition:

Conradie, Willem ; Palmigiano, Alessandra ; Robinson, Claudette..
http://arxiv.org/abs/1908.04817. , 2019

Link: http://arxiv.org/abs/190..

10

Rough concepts:

Conradie, Willem ; Frittella, Sabine ; Manoorkar, Krishna...
http://arxiv.org/abs/1907.00359. , 2019

Link: http://arxiv.org/abs/190..

11

Sahlqvist Via Translation:

Conradie, Willem ; Palmigiano, Alessandra ; Zhao, Zhiguang
Conradie , W , Palmigiano , A & Zhao , Z 2019 , ' Sahlqvist Via Translation ' , Logical Methods in Computer Science , vol. 15 , no. 1 , pp. 15:1-15:35 . https://doi.org/10.23638/LMCS-15(1:15)2019. , 2019

Link: https://research.vu.nl/e..

12

Probabilistic epistemic updates on algebras:

Conradie, Willem ; Frittella, Sabine ; Palmigiano, Alessandra..
Conradie , W , Frittella , S , Palmigiano , A , Tzimoulis , A & Wijnberg , N 2019 , ' Probabilistic epistemic updates on algebras ' , ACM Transactions on Computational Logic , vol. 20 , no. 4 , 24 , pp. 1-75 . https://doi.org/10.1145/3341725. , 2019

Link: https://research.vu.nl/e..

13

Modelling competing theories:

Conradie, Willem ; Craig, Andrew ; Palmigiano, Alessandra.
http://arxiv.org/abs/1905.11748. , 2019

Link: http://arxiv.org/abs/190..

14

Modelling informational entropy:

Conradie, Willem ; Craig, Andrew ; Palmigiano, Alessandra.
http://arxiv.org/abs/1903.12518. , 2019

Link: http://arxiv.org/abs/190..

15

The logic of vague categories:

Conradie, Willem ; Palmigiano, Alessandra ; Robinson, Claudette..
http://arxiv.org/abs/1908.04816. , 2019

Link: http://arxiv.org/abs/190..