Found: 14
Select item for more details and to access through your institution.
Ideal extensions as logical programming models.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 5, p. 1361, doi. 10.1093/logcom/exu014
- By:
- Publication type:
- Article
Ordering protoalgebraic logics.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 5, p. 1395, doi. 10.1093/logcom/exu015
- By:
- Publication type:
- Article
Conditional interchangeability of Nash equilibria.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 5, p. 1421, doi. 10.1093/logcom/exu038
- By:
- Publication type:
- Article
A complete axiomatization of a temporal logic with obligation and robustness.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 5, p. 1439, doi. 10.1093/logcom/exu041
- By:
- Publication type:
- Article
Multidimensional trees and a Chomsky-Schützenberger-Weir representation theorem for simple context-free tree grammars.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 5, p. 1469, doi. 10.1093/logcom/exu043
- By:
- Publication type:
- Article
A new coalgebraic Lindström theorem.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 5, p. 1541, doi. 10.1093/logcom/exu045
- By:
- Publication type:
- Article
Refinements of subatomic natural deduction.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 5, p. 1567, doi. 10.1093/logcom/exu046
- By:
- Publication type:
- Article
Faulty Belnap computers and subsystems of FDE.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 5, p. 1617, doi. 10.1093/logcom/exu048
- By:
- Publication type:
- Article
Equilibria interchangeability in cellular games.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 5, p. 1637, doi. 10.1093/logcom/exu054
- By:
- Publication type:
- Article
Relentful strategic reasoning in alternating-time temporal logic.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 5, p. 1663, doi. 10.1093/logcom/exu052
- By:
- Publication type:
- Article
Fast interpreter for logical reasoning in general game playing.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 5, p. 1697, doi. 10.1093/logcom/exu058
- By:
- Publication type:
- Article
A note on hereditarily Π<sup>0</sup><sub>1</sub>- and Σ<sup>0</sup><sub>1</sub>-complete sets of sentences.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 5, p. 1729, doi. 10.1093/logcom/exu066
- By:
- Publication type:
- Article
From rational Gödel logic to ultrametric logic.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 5, p. 1743, doi. 10.1093/logcom/exu065
- By:
- Publication type:
- Article
Algebraic semantics for a modal logic close to S1.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 5, p. 1769, doi. 10.1093/logcom/exu067
- By:
- Publication type:
- Article