On bivalent semantics and natural deduction for some infectious logics.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 1, p. 186, doi. 10.1093/jigpal/jzaa071
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2022 AND VI 30 AND IP 1
Results: 10
1
2
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 1, p. 155, doi. 10.1093/jigpal/jzaa068
- By:
- Publication type:
- Article
3
logic of orthomodular posets of finite height.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 1, p. 143, doi. 10.1093/jigpal/jzaa067
- By:
- Publication type:
- Article
4
infinitary axiomatization of dynamic topological logic.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 1, p. 124, doi. 10.1093/jigpal/jzaa055
- By:
- Publication type:
- Article
5
Extensions in graph normal form.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 1, p. 101, doi. 10.1093/jigpal/jzaa054
- By:
- Publication type:
- Article
6
Logics of (In)sane and (Un)reliable Beliefs.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 1, p. 78, doi. 10.1093/jigpal/jzaa052
- By:
- Publication type:
- Article
7
'Sometime a paradox', now proof: Yablo is not first order.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 1, p. 71, doi. 10.1093/jigpal/jzaa051
- By:
- Publication type:
- Article
8
Lyndon's interpolation property for the logic of strict implication.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 1, p. 34, doi. 10.1093/jigpal/jzaa029
- By:
- Publication type:
- Article
9
remark on functional completeness of binary expansions of Kleene's strong 3-valued logic.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 1, p. 21, doi. 10.1093/jigpal/jzaa028
- By:
- Publication type:
- Article
10
Saturated models of first-order many-valued logics.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 1, p. 1, doi. 10.1093/jigpal/jzaa027
- By:
- Publication type:
- Article