Logic/General Logic/Modal Logic

Subject Classification

ACM: Theory of computation~Modal and temporal logics

AMS: Mathematical logic and foundations / General logic / Modal logic (including the logic of norms)

2021

2020

2019

2017

2016