Relation-changing models meet paraconsistency
-
Published:2023-06
Issue:
Volume:133
Page:100870
-
ISSN:2352-2208
-
Container-title:Journal of Logical and Algebraic Methods in Programming
-
language:en
-
Short-container-title:Journal of Logical and Algebraic Methods in Programming
Author:
Costa Diana,Figueiredo Daniel,Martins Manuel A.
Funder
Programa Operacional Temático Factores de Competitividade
Center for Research and Development in Mathematics and Applications
Fundação para a Ciência e a Tecnologia
European Regional Development Fund
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference30 articles.
1. Swap logic;Areces;Log. J. IGPL,2013
2. Relation-changing modal operators;Areces;Log. J. IGPL,2015
3. Sabotage modal logic: some model and proof theoretic aspects;Aucher,2015
4. A useful four-valued logic;Belnap,1977
5. Modal Logic;Blackburn,2001
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reactive Graphs in Action;Lecture Notes in Computer Science;2024