Kolmogorov and Kuroda translations into basic predicate logic.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 1, p. 47, doi. 10.1093/jigpal/jzac067
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2024 AND VI 32 AND IP 1
Results: 10
1
2
Amalgamation and Robinson property in universal algebraic logic.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 1, p. 180, doi. 10.1093/jigpal/jzac076
- By:
- Publication type:
- Article
3
On algebraic and topological semantics of the modal logic of common knowledge S4<sup>C</sup><sub>I</sub>.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 1, p. 164, doi. 10.1093/jigpal/jzac075
- By:
- Publication type:
- Article
4
The spectra of quasi-Boolean algebras.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 1, p. 139, doi. 10.1093/jigpal/jzac073
- By:
- Publication type:
- Article
5
A probabilistic temporal epistemic logic: Strong completeness.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 1, p. 94, doi. 10.1093/jigpal/jzac072
- By:
- Publication type:
- Article
6
Paraconsistentization and many-valued logics.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 1, p. 76, doi. 10.1093/jigpal/jzac071
- By:
- Publication type:
- Article
7
Another neighbourhood semantics for intuitionistic logic.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 1, p. 64, doi. 10.1093/jigpal/jzac069
- By:
- Publication type:
- Article
8
First-order logic of change.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 1, p. 35, doi. 10.1093/jigpal/jzac063
- By:
- Publication type:
- Article
9
27th Workshop on Logic, Language, Information and Computation.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 1, p. 197, doi. 10.1093/jigpal/jzac062
- Publication type:
- Article
10
Cyclic proofs for the first-order µ-calculus.
- Published in:
- Logic Journal of the IGPL, 2024, v. 32, n. 1, p. 1, doi. 10.1093/jigpal/jzac053
- By:
- Publication type:
- Article