Proof-carrying parameters in certified symbolic execution.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 3, p. 534, doi. 10.1093/jigpal/jzad008
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2024 AND VI 32 AND IP 3
Results: 9
1
2
Algebraic logic for the negation fragment of classical logic.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 3, p. 517, doi. 10.1093/jigpal/jzad007
- By:
- Publication type:
- Article
3
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer's basic logic B<sup>d</sup>.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 3, p. 493, doi. 10.1093/jigpal/jzad005
- By:
- Publication type:
- Article
4
Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4.
- Published in:
- 2024
- By:
- Publication type:
- Correction Notice
5
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 3, p. 465, doi. 10.1093/jigpal/jzad002
- By:
- Publication type:
- Article
6
Binary modal logic and unary modal logic.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 3, p. 420, doi. 10.1093/jigpal/jzac083
- By:
- Publication type:
- Article
7
Who finds the short proof?
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 3, p. 442, doi. 10.1093/jigpal/jzac082
- By:
- Publication type:
- Article
8
Non-contingency in a paraconsistent setting.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 3, p. 394, doi. 10.1093/jigpal/jzac081
- By:
- Publication type:
- Article
9
Sahlqvist completeness theory for hybrid logic with downarrow binder.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 3, p. 367, doi. 10.1093/jigpal/jzac079
- By:
- Publication type:
- Article