Add to ORKGA grammar logic refers to an extension of the multi-modal logic K in which the modal axioms are generated from a formal grammar. We consider a proof theory, in nested sequent calculus, of grammar logics with converse, i.e., every modal operator [a] come
We provide a simple translation from the satisfiability problem for regular grammar logics with conv...
A class of axiomatic theories with arbitrary quantifier alternations is identified and a conversion ...
One of the main issues in proof certification is that different theorem provers, even when designed ...
Abstract. Nested sequent calculi are a useful generalization of ordinary sequent calculi, where sequ...
Abstract. We present deductive systems for various modal logics that can be obtained from the constr...
This chapter analyzes the development of modal logic within the research framework formulated for a ...
International audienceWe present deductive systems for various modal logics that can be obtained fro...
We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an in...
This thesis is part of a line of research aimed at investigating how insights and results from the a...
The definitions of propositional modal logic are traditionally formulated in the following way. 1 Fi...
International audienceThis paper presents an overview of the methods of nested sequents or treehyper...
Arbeit an der Bibliothek noch nicht eingelangt - Daten nicht geprüftAbweichender Titel nach Übersetz...
Nested sequent calculi are a useful generalization of ordinary sequent calculi, where sequents are a...
In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of vali...
... This paper introduces a systematic presentation for the systems K, D, M, S4, and S5 in the cal...
We provide a simple translation from the satisfiability problem for regular grammar logics with conv...
A class of axiomatic theories with arbitrary quantifier alternations is identified and a conversion ...
One of the main issues in proof certification is that different theorem provers, even when designed ...
Abstract. Nested sequent calculi are a useful generalization of ordinary sequent calculi, where sequ...
Abstract. We present deductive systems for various modal logics that can be obtained from the constr...
This chapter analyzes the development of modal logic within the research framework formulated for a ...
International audienceWe present deductive systems for various modal logics that can be obtained fro...
We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an in...
This thesis is part of a line of research aimed at investigating how insights and results from the a...
The definitions of propositional modal logic are traditionally formulated in the following way. 1 Fi...
International audienceThis paper presents an overview of the methods of nested sequents or treehyper...
Arbeit an der Bibliothek noch nicht eingelangt - Daten nicht geprüftAbweichender Titel nach Übersetz...
Nested sequent calculi are a useful generalization of ordinary sequent calculi, where sequents are a...
In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of vali...
... This paper introduces a systematic presentation for the systems K, D, M, S4, and S5 in the cal...
We provide a simple translation from the satisfiability problem for regular grammar logics with conv...
A class of axiomatic theories with arbitrary quantifier alternations is identified and a conversion ...
One of the main issues in proof certification is that different theorem provers, even when designed ...