Author:
Chen Jinsheng,Greco Giuseppe,Palmigiano Alessandra,Tzimoulis Apostolos
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference67 articles.
1. Nested sequent calculi for normal conditional logics;Alenda;J. Log. Comput.,2016
2. Frege in space: a program for compositional distributional semantics;Baroni;Linguist. Issues Lang. Technol.,2014
3. Studies in Categorial Grammar,1990
4. Display logic;Belnap;J. Philos. Log.,1982
5. The logic of resources and capabilities;Bílková;Rev. Symb. Log.,2018
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Algebraic Proof Theory for LE-logics;ACM Transactions on Computational Logic;2024-01-17
2. Multi-type Calculi and Structural Control;Electronic Proceedings in Theoretical Computer Science;2023-08-07
3. Linear Logic Properly Displayed;ACM Transactions on Computational Logic;2023-01-28
4. CoNP Complexity for Combinations of Non-normal Modal Logics;Lecture Notes in Computer Science;2023
5. On the Finite Model Property of Non-normal Modal Logics;Logic, Rationality, and Interaction;2023