Logique et Analyse
Volume 165
2024-2025


1 - 16 - 
Relative Completeness
GAN, Nathaniel

abstract details

17 - 33 - 
A Reduction Procedure for the Modal Logic S4F
SKURA, Tomasz

abstract details

35 - 57 - 
A Reformulation of Reichenbach's Theory of Tense and Aspect
WISTRAND, Vincent

abstract details

59 - 103 - 
A Logic for Using Information
BUDA, Alessandro G., PRIMIERO, Giuseppe

abstract details