Similar Items: From Logic to Biology via Physics: a survey
- Coalgebraic trace semantics via forgetful logics
- A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
- Quantitative Equality in Substructural Logic via Lipschitz Doctrines
- Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions
- Complexity results for modal logic with recursion via translations and tableaux
- From formulas to cirquents in computability logic