Works matching IS 28130405 AND DT 2023 AND VI 1 AND IP 2
Results: 2
Logics for Epistemic Actions: Completeness, Decidability, Expressivity †.
- Published in:
- Logics, 2023, v. 1, n. 2, p. 97, doi. 10.3390/logics1020006
- By:
- Publication type:
- Article
Concepts of Interpolation in Stratified Institutions.
- Published in:
- Logics, 2023, v. 1, n. 2, p. 80, doi. 10.3390/logics1020005
- By:
- Publication type:
- Article