Found: 6
Select item for more details and to access through your institution.
A multi-type calculus for inquisitive logic.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 268
- By:
- Publication type:
- Article
Categories: How I Learned to Stop Worrying and Love Two Sorts.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 266
- By:
- Publication type:
- Article
Dual characterizations for finite lattices via correspondence theory for monotone modal logic.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 3, p. 639, doi. 10.1093/logcom/exw011
- By:
- Publication type:
- Article
Multi-type display calculus for propositional dynamic logic.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 6, p. 2067, doi. 10.1093/logcom/exu064
- By:
- Publication type:
- Article
Multi-type display calculus for dynamic epistemic logic.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 6, p. 2017, doi. 10.1093/logcom/exu068
- By:
- Publication type:
- Article
A proof-theoretic semantic analysis of dynamic epistemic logic.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 6, p. 1961, doi. 10.1093/logcom/exu063
- By:
- Publication type:
- Article