Techniques for measuring the inferential strength of forgetting policies Open Access.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exaf023
- By:
- Publication type:
- Article
Works matching IS 0955792X AND DT 2025 AND VI 35 AND IP 3
Results: 23
1
2
Weak Belnapian modal logic.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exaf022
- By:
- Publication type:
- Article
3
Logics with probabilistic team semantics and the Boolean negation Open Access.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exaf021
- By:
- Publication type:
- Article
4
Correction to: Checking trustworthiness of probabilistic computations in a typed natural deduction system Free.
- Published in:
- 2025
- Publication type:
- Correction Notice
5
Non-deterministic semantics for cocanonical and semi-cocanonical deduction systems.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exaf019
- By:
- Publication type:
- Article
6
Nomic truthlikeness in the light of a probabilistic representation of propositions Open Access.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exaf016
- By:
- Publication type:
- Article
7
Remarks on skew Hilbert algebras and weak BCK<sup>*</sup>-algebras.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exaf015
- By:
- Publication type:
- Article
8
A Stone-type duality for semilattices with adjunctions.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exaf014
- By:
- Publication type:
- Article
9
Computational considerations on the representation of number-theoretic functions by arithmetic terms.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exaf012
- By:
- Publication type:
- Article
10
Generalization of filter theory of EQ-algebras based on lattices.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exae049
- By:
- Publication type:
- Article
11
Modal weak Kleene logics: axiomatizations and relational semantics.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exae046
- By:
- Publication type:
- Article
12
A Gödel-Dugundji-style theorem for the minimal structural logic.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exae045
- By:
- Publication type:
- Article
13
Serial properties, selector proofs and the provability of consistency.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exae034
- By:
- Publication type:
- Article
14
Perfect proofs at first order.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exae033
- By:
- Publication type:
- Article
15
Numerical expressive power of logical languages with cardinality comparison.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exae028
- By:
- Publication type:
- Article
16
Modal algebra of multirelations Open Access.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exae023
- By:
- Publication type:
- Article
17
Correction to: Modalities combining two negations Free.
- Published in:
- 2025
- Publication type:
- Correction Notice
18
Estimating event probabilities via signal temporal logic and first occurrence distributions.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exae019
- By:
- Publication type:
- Article
19
Completeness of tableau calculi for two-dimensional hybrid logics.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exae018
- By:
- Publication type:
- Article
20
Necessary and sufficient conditions of the enforcement problem for various argumentation semantics.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exae017
- By:
- Publication type:
- Article
21
A correct-by-construction approach for development of reliable planning problems.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exae016
- By:
- Publication type:
- Article
22
Analyticity with extra-logical information Open Access.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exae013
- By:
- Publication type:
- Article
23
Attack principles in sequent-based argumentation theory.
- Published in:
- Journal of Logic & Computation, 2025, v. 35, n. 3, p. 1, doi. 10.1093/logcom/exad080
- By:
- Publication type:
- Article