| |
Reviews about "Mathematical Logic (F.4.1)":
|
Simple type theory: a practical logic for expressing and reasoning about mathematical ideas
Farmer W., BIRKHAUSER, Basel, Switzerland, 2023. 312 pp. Type: Book (3031211138)
|
Proof theory and algebra in logic
Ono H., Springer International Publishing, New York, NY, 2019. 168 pp. Type: Book
|
Credulous acceptability, poison games and modal logic
Grossi D., Rey S. AAMAS 2019 (Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, Montreal, QC, Canada, May 13-17, 2019) 1994-1996, 2019. Type: Proceedings
|
Symbolic checking of fuzzy CTL on fuzzy program graph
Ebrahimi M., Sotudeh G., Movaghar A. Acta Informatica 56(1): 1-33, 2019. Type: Article
|
Neighborhood semantics for modal logic
Pacuit E., Springer International Publishing, New York, NY, 2017. 154 pp. Type: Book (978-3-319671-48-2)
|
Safe autonomy under perception uncertainty using chance-constrained temporal logic
Jha S., Raman V., Sadigh D., Seshia S. Journal of Automated Reasoning 60(1): 43-62, 2018. Type: Article
|
Generalizing Morley’s and other theorems with automated realization
Braude E., Abdyldayev S. Journal of Automated Reasoning 60(4): 503-526, 2018. Type: Article
|
more...
|
|
|
|
