Found: 11
Select item for more details and to access through your institution.
Unified correspondence as a proof-theoretic tool.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1367, doi. 10.1093/logcom/exw022
- By:
- Publication type:
- Article
Satisfiability for relation-changing logics.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1443, doi. 10.1093/logcom/exy022
- By:
- Publication type:
- Article
Judgment aggregation in dynamic logic of propositional assignments.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1471, doi. 10.1093/logcom/exy024
- By:
- Publication type:
- Article
Strong jump inversion.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1499, doi. 10.1093/logcom/exy025
- By:
- Publication type:
- Article
Reasoning with maximal consistency by argumentative approaches.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1523, doi. 10.1093/logcom/exy027
- By:
- Publication type:
- Article
Proof search in a context-sensitive logic for molecular biology.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1565, doi. 10.1093/logcom/exy028
- By:
- Publication type:
- Article
Belief base rationalization for propositional merging.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1601, doi. 10.1093/logcom/exy029
- By:
- Publication type:
- Article
Backward induction in presence of cycles.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1635, doi. 10.1093/logcom/exy020
- By:
- Publication type:
- Article
Navigability with intermediate constraints.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1647, doi. 10.1093/logcom/exy021
- By:
- Publication type:
- Article
On the aggregation of argumentation frameworks: operators and postulates.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1671, doi. 10.1093/logcom/exy023
- By:
- Publication type:
- Article
Terminating sequent calculi for two intuitionistic modal logics.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 7, p. 1701, doi. 10.1093/logcom/exy026
- By:
- Publication type:
- Article