- Weakly Aggregative Modal Logic: Characterization and Interpolation.Jixin Liu, Yanjing Wang & Yifeng Ding - 2019 - In Patrick Blackburn, Emiliano Lorini & Meiyun Guo (eds.), Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings. Springer. pp. 153-167.details
|
|
Taming logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.details
|
|
On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic.Natasha Alechina - 1995 - Journal of Logic, Language and Information 4 (3):177-189.details
|
|
Functional dependencies between variables.Natasha Alechina - 2000 - Studia Logica 66 (2):273-283.details
|
|
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.details
|
|
Predicate logics on display.Heinrich Wansing - 1999 - Studia Logica 62 (1):49-75.details
|
|
Bisimulations for temporal logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.details
|
|
Model Theoretical Aspects of Weakly Aggregative Modal Logic.Jixin Liu, Yifeng Ding & Yanjing Wang - 2022 - Journal of Logic, Language and Information 31 (2):261-286.details
|
|
Minimal Temporal Epistemic Logic.Joeri Engelfriet - 1996 - Notre Dame Journal of Formal Logic 37 (2):233-259.details
|
|
Tolerance logic.Maarten Marx - 2001 - Journal of Logic, Language and Information 10 (3):353-374.details
|
|