Works matching IS 13670751 AND DT 2022 AND VI 30 AND IP 1
Results: 10
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
'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
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
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
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
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
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
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
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
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