Ramos, Jaime; Rasga, João; Sernadas, Cristina; Viganò, Luca Event-based time-stamped claim logic. (English) Zbl 1535.03100 J. Log. Algebr. Methods Program. 121, Article ID 100684, 28 p. (2021). MSC: 03B44 × Cite Format Result Cite Review PDF Full Text: DOI
Rasga, João; Sernadas, Cristina; Sernadas, Amílcar Preservation of admissible rules when combining logics. (English) Zbl 1397.03049 Rev. Symb. Log. 9, No. 4, 641-663 (2016). Reviewer: Branislav Boričić (Beograd) MSC: 03B62 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Rasga, João; Sernadas, Cristina; Sernadas, Amlcar Craig interpolation in the presence of unreliable connectives. (English) Zbl 1342.03022 Log. Univers. 8, No. 3-4, 423-446 (2014). MSC: 03B48 03B60 03B70 68T37 × Cite Format Result Cite Review PDF Full Text: DOI