Add to ORKGA miracle happens. In one hand we have a class of marvelously complex theories in predicate logic, theories with 'sufficient coding potential', like PA (Peano Arithmetic) or ZF (Zermelo Fraenkel Set Theory). In the other we have certain modal propositional theories of striking simplicity. We translate the modal operators of the modal theories to certain specic, fixed, defined predicates of the predicate logical theories. These special predicates generally contain an astronomical number of symbols. We interpret the propositional variables by arbitrary predicate logical sentences. And see: the modal theories are sound and complete for this interpretation. They codify precisely the schematic principles in their scope. Miracles do happe...
In 1990, Bas C. van Fraassen defined the modal interpretation of quantum mechanics as a consideratio...
Propositional modal logic is a conservative extension of classical propositional logic. It introduce...
This dissertation is about logical consequence. The main points I will defend can be summarised as f...
A miracle happens. In one hand we have a class of marvelously complex theories in predicate logic, ...
We investigate the modal logic of interpretability over Peano arithmetic (PA). Our main result is a...
In this paper we expose a method for building models for interpretability logics. The method can be ...
Abstract. In this paper we discus work in progress on interpretability logics. We show how semantica...
The definitions of propositional modal logic are traditionally formulated in the following way. 1 Fi...
In this volume, the author investigates and argues for, a particular answer to the question: What is...
Interpretability logic is a modal description of the interpretability predicate. The modal system IL...
This paper is a presentation of a status quæstionis, to wit of the problem of the interpretability ...
The dissertation is in the first place a treatment of mathematical interpretations. Interpretations ...
This paper is a presentation of a status quæstionis, to wit of the problem of the interpretability l...
Introduction In recent years several modal systems have been introduced to study the relation of re...
Provability logic is a nonstandard modal logic. Interpretability logic is an extension of provabilit...
In 1990, Bas C. van Fraassen defined the modal interpretation of quantum mechanics as a consideratio...
Propositional modal logic is a conservative extension of classical propositional logic. It introduce...
This dissertation is about logical consequence. The main points I will defend can be summarised as f...
A miracle happens. In one hand we have a class of marvelously complex theories in predicate logic, ...
We investigate the modal logic of interpretability over Peano arithmetic (PA). Our main result is a...
In this paper we expose a method for building models for interpretability logics. The method can be ...
Abstract. In this paper we discus work in progress on interpretability logics. We show how semantica...
The definitions of propositional modal logic are traditionally formulated in the following way. 1 Fi...
In this volume, the author investigates and argues for, a particular answer to the question: What is...
Interpretability logic is a modal description of the interpretability predicate. The modal system IL...
This paper is a presentation of a status quæstionis, to wit of the problem of the interpretability ...
The dissertation is in the first place a treatment of mathematical interpretations. Interpretations ...
This paper is a presentation of a status quæstionis, to wit of the problem of the interpretability l...
Introduction In recent years several modal systems have been introduced to study the relation of re...
Provability logic is a nonstandard modal logic. Interpretability logic is an extension of provabilit...
In 1990, Bas C. van Fraassen defined the modal interpretation of quantum mechanics as a consideratio...
Propositional modal logic is a conservative extension of classical propositional logic. It introduce...
This dissertation is about logical consequence. The main points I will defend can be summarised as f...