Incompleteness and the Halting Problem.
- Published in:
- Studia Logica, 2021, v. 109, n. 5, p. 1159, doi. 10.1007/s11225-021-09945-2
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2021 AND VI 109 AND IP 5
Results: 12
1
2
Lattices of Finitely Alternative Normal Tense Logics.
- Published in:
- Studia Logica, 2021, v. 109, n. 5, p. 1093, doi. 10.1007/s11225-021-09942-5
- By:
- Publication type:
- Article
3
Hyper-MacNeille Completions of Heyting Algebras.
- Published in:
- Studia Logica, 2021, v. 109, n. 5, p. 1119, doi. 10.1007/s11225-021-09941-6
- By:
- Publication type:
- Article
4
Logic of Convex Order.
- Published in:
- Studia Logica, 2021, v. 109, n. 5, p. 1019, doi. 10.1007/s11225-020-09940-z
- By:
- Publication type:
- Article
5
Endogenizing Epistemic Actions.
- Published in:
- Studia Logica, 2021, v. 109, n. 5, p. 1049, doi. 10.1007/s11225-020-09937-8
- By:
- Publication type:
- Article
6
Inquisitive Heyting Algebras.
- Published in:
- Studia Logica, 2021, v. 109, n. 5, p. 995, doi. 10.1007/s11225-020-09936-9
- By:
- Publication type:
- Article
7
Leo Esakia, Heyting Algebras: Duality Theory, Guram Bezhanishvili and Wesley A. Holliday, (eds.), Springer International Publishing, Series: Trends in Logic, Vol. 50, 2019, pp. 95+xv: ISBN 978-3-030-12095-5 (Hardcover) 80,24 e, ISBN 978-3-030-12096-2 (eBook) 46 €
- Published in:
- 2021
- By:
- Publication type:
- Book Review
8
An Algebraic Study of S5-Modal Gödel Logic.
- Published in:
- Studia Logica, 2021, v. 109, n. 5, p. 937, doi. 10.1007/s11225-020-09934-x
- By:
- Publication type:
- Article
9
Games and Bisimulations for Intuitionistic First-Order Kripke Models.
- Published in:
- Studia Logica, 2021, v. 109, n. 5, p. 903, doi. 10.1007/s11225-020-09932-z
- By:
- Publication type:
- Article
10
Confluence Proofs of Lambda-Mu-Calculi by Z Theorem.
- Published in:
- Studia Logica, 2021, v. 109, n. 5, p. 917, doi. 10.1007/s11225-020-09931-0
- By:
- Publication type:
- Article
11
Containment Logics: Algebraic Completeness and Axiomatization.
- Published in:
- Studia Logica, 2021, v. 109, n. 5, p. 969, doi. 10.1007/s11225-020-09930-1
- By:
- Publication type:
- Article
12
Correction to: Complexity of the Universal Theory of Modal Algebras.
- Published in:
- 2021
- By:
- Publication type:
- Correction Notice