A proof-search system for the logic of likelihood.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 3, p. 413, doi. 10.1093/jigpal/jzaa003
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2020 AND VI 28 AND IP 3
Results: 7
1
2
A restricted second-order logic for non-deterministic poly-logarithmic time.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 3, p. 389, doi. 10.1093/jigpal/jzz078
- By:
- Publication type:
- Article
3
The logic of imaginary scenarios.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 3, p. 363, doi. 10.1093/jigpal/jzz064
- By:
- Publication type:
- Article
4
The perfect surprise: a new analysis in dynamic epistemic logic.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 3, p. 341, doi. 10.1093/jigpal/jzz031
- By:
- Publication type:
- Article
5
Dually hemimorphic semi-Nelson algebras.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 3, p. 316, doi. 10.1093/jigpal/jzz030
- By:
- Publication type:
- Article
6
Modal logic with non-deterministic semantics: Part I—Propositional case.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 3, p. 281, doi. 10.1093/jigpal/jzz027
- By:
- Publication type:
- Article
7
A proof-search system for the logic of likelihood.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 3, p. 261, doi. 10.1093/jigpal/jzz022
- By:
- Publication type:
- Article