2019

Justification logic : reasoning with reasons

Artemov, S. N., author.

Cambridge ; New York, NY : Cambridge University Press, 2019

 

2007

Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings

LFCS (Symposium) (2007 : New York, N.Y.)



 

2009

Logical foundations of computer science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009 : Proceedings

LFCS (Symposium) (2009 : Deerfield Beach, Fla.)



 

2013

Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

LFCS 2013 (2013: San Diego, Calif.)



 

2015

Logical foundations of computer science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

LFCS (Symposium) (2016 : Deerfield Beach, Fla.)

Switzerland : Springer, [2015]

 

2020

Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings

LFCS (Symposium) (2020 : Deerfield Beach, Fla.)

Cham, Switzerland : Springer, 2020

 

2022

Logical foundations of computer science : international symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings

LFCS (Symposium) (2022 : Deerfield Beach, Fla.)

Cham : Springer, [2022]