Found: 13
Select item for more details and to access through your institution.
Gödel-Rosser's Incompleteness Theorem, generalized and optimized for definable theories.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1391, doi. 10.1093/logcom/exw025
- By:
- Publication type:
- Article
Embedding from multilattice logic into classical logic and vice versa.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1549, doi. 10.1093/logcom/exw015
- By:
- Publication type:
- Article
A Substructural Modal Logic of Utility.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1421, doi. 10.1093/logcom/exw030
- By:
- Publication type:
- Article
Undecidability of the transitive graded modal logic with converse.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1399, doi. 10.1093/logcom/exw026
- By:
- Publication type:
- Article
Implicit Kripke semantics and ultraproducts in stratified institutions.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1577, doi. 10.1093/logcom/exw018
- By:
- Publication type:
- Article
Categorical comprehensions and recursion.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1607, doi. 10.1093/logcom/exw020
- By:
- Publication type:
- Article
Comparing the expressiveness of argumentation semantics.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1489, doi. 10.1093/logcom/exw008
- By:
- Publication type:
- Article
A bimodal perspective on possibility semantics.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1353, doi. 10.1093/logcom/exw024
- By:
- Publication type:
- Article
Logics with definitional reflection rules.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1523, doi. 10.1093/logcom/exw013
- By:
- Publication type:
- Article
Algebras of Information States.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1643, doi. 10.1093/logcom/exw021
- By:
- Publication type:
- Article
Modal independence logic.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1333, doi. 10.1093/logcom/exw019
- By:
- Publication type:
- Article
A minimalistic many-valued theory of types.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1307, doi. 10.1093/logcom/exw006
- By:
- Publication type:
- Article
The power of primitive positive definitions with polynomially many variables.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1465, doi. 10.1093/logcom/exw005
- By:
- Publication type:
- Article