|
Logic for artificial intelligence: a Rasiowa-Pawlak school perspective / / Andrzej Jankowski and Andrzej Skowron --
|
2008
|
1
|
|
A logic for distributed transition systems / / K. Lodaya, R. Ramanujam, P.S. Thiagarajan --
|
1989
|
1
|
|
A Logic for Extensive Games with Short Sight / / Chanjuan Liu, Fenrong Liu and Kaile Su --
|
2013
|
1
|
|
A Logic for Frege's Theorem / / Richard Kimberly Heck --
|
2020
|
1
|