Search results

Paper The interpretability logic of all reasonable arithmetical theories 2020-04-27 Paper TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF...

1992-06-28 Paper The formalization of interpretability 1992-06-25 Paper Explicit fixed points in interpretability logic 1992-06-25 Paper Peano's smart children:...

Date of Publication Type The Lattice of Interpretability Types of Cantor Varieties 2007-07-26 Paper Interpretability Types for Regular Varieties of Algebras...

models 2023-09-15 Paper Decidability of interpretability logics ILM0 and ILW* 2022-08-10 Paper INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS...

provability predicates 2024-11-12 Paper The persistence principle over weak interpretability logic 2024-06-25 Paper Prenex normalization and the hierarchical classification...

of labelling techniques for interpretability logics 2023-09-12 Paper TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL...

of the interpretability logicILhaving fixed point properties 2022-09-22 Paper Unary interpretability logics for sublogics of the interpretability logic...

techniques for interpretability logics 2023-09-12 Paper Existential definability of modal frame classes 2023-09-11 Paper Complexity of the interpretability logics...

2024-02-28 Paper Theory and application of labelling techniques for interpretability logics 2023-09-12 Paper Qualitative reasoning in a two-layered framework...

normal form of closed formulas of interpretability logic 1991-01-01 Paper Some independence results in interpretability logic 1991-01-01 Paper Modal analysis...

Publication Date of Publication Type Correction to: ``Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)...

Publication Type TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES 2024-02-23 Paper MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE...

association rules from triadic contexts 2022-12-01 Paper On Shapley value interpretability in concept-based learning with formal concept analysis 2022-12-01 Paper...

IMPLICATIONS AND GENERALIZED QUANTIFIERS 2012-02-17 Paper Comments on Interpretability and Decidability in Fuzzy Logic 2011-11-10 Paper On fuzzy modal logics...

logic of inequality 1993-04-01 Paper Unary interpretability logic 1993-02-22 Paper A note on the interpretability logic of finitely axiomatized theories 1992-06-27...

complexity of converting between such representations 2023-04-14 Paper On interpretability between some weak essentially undecidable theories 2022-12-16 Paper...

Paper Intermediate logics and the de Jongh property 2011-03-02 Paper Interpretability in PRA 2009-11-04 Paper Unifiability in extensions of K4 2009-05-05...

Publication Date of Publication Type Cluster Formation as a Measure of Interpretability in Multiple Testing 2020-09-25 Paper Controlling the False Discovery...

persistence principle over weak interpretability logic 2022-03-04 Paper Topological semantics of conservativity and interpretability logics 2021-11-09 Paper Fixed-point...

3D data 2022-09-09 Paper Interpretable concept-based classification with Shapley values 2021-07-08 Paper On Interpretability and Similarity in Concept-Based...