Works matching IS 14253305 AND DT 2022 AND VI 31 AND IP 3
Results: 6
Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability.
- Published in:
- Logic & Logical Philosophy, 2022, v. 31, n. 3, p. 501, doi. 10.12775/LLP.2021.016
- By:
- Publication type:
- Article
Analysis of Penrose's Second Argument Formalised in DTK System.
- Published in:
- Logic & Logical Philosophy, 2022, v. 31, n. 3, p. 471, doi. 10.12775/LLP.2021.019
- By:
- Publication type:
- Article
Topology of Modal Propositions Depicted by Peirce's Gamma Graphs: Line, Square, Cube, and Four-Dimensional Polyhedron.
- Published in:
- Logic & Logical Philosophy, 2022, v. 31, n. 3, p. 457, doi. 10.12775/LLP.2021.017
- By:
- Publication type:
- Article
S5-Style Non-Standard Modalities in a Hypersequent Framework.
- Published in:
- Logic & Logical Philosophy, 2022, v. 31, n. 3, p. 427, doi. 10.12775/LLP.2021.020
- By:
- Publication type:
- Article
Logics for Knowability.
- Published in:
- Logic & Logical Philosophy, 2022, v. 31, n. 3, p. 385, doi. 10.12775/LLP.2021.018
- By:
- Publication type:
- Article
Dynamic Probabilistic Entailment. Improving on Adams' Dynamic Entailment Relation.
- Published in:
- Logic & Logical Philosophy, 2022, v. 31, n. 3, p. 359, doi. 10.12775/LLP.2021.022
- By:
- Publication type:
- Article