Logic In Action
(2016) : van Benthem, Johan et al
url: http://logicinaction.org/
#validity_testing #reasoning #propositional_logic #action #computation #logic #inference #semantics #my_bibtex

Logic In Action
(2016) : Johan van Benthem and Hans van Ditmarsch and Jan van Eijck and Jan Jaspars
url: http://logicinaction.org/
#action #computation #inference #logic #propositional_logic #reasoning #semantics #validity_testing
#my_bibtex