A Hierarchy of Sos Rule Formats
(2006) : Jan Friso Groote and Mohammad Reza Mousavi and Michel A. Reniers
DOI: https://doi.org/10.1016/j.entcs.2005.11.077
#formal_semantics #hierarchy #rule #structural_operational_semantics #taxonomy #transition_syst
#my_bibtex

Formal Semantics in Modern Type Theories
(2020) : Stergios Chatzikyriakidis and Zhaohui Luo
isbn: 978-1-78630-128-4
#coq #formal_semantics #logic #model_theory #montague #overview #semantics #type_theory
#my_bibtex

Between Saying and Doing: Towards an Analytic Pragmatism
(2008) : Brandom, Robert
isbn: 978-0-19-954287-1
#__important #ai #formal_semantics #immanuel_kant #linguistics #logic #modal_semantics #modality #normativity #norms #philosophy #pragmatic_meta
#my_bibtex