We consider combinations of nine propositional multi-modal logics with propositional discrete linear time temporal logic with past time. For these combinations, we present sound and complete Gentzen-type sequent calculi with a restricted cut rule
SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...
This paper is a continuation of the work started in [FG92] on combining temporal logics. In this wor...
This thesis is about automated reasoning in quantified modal and temporal logics, with an applicatio...
We consider propositional discrete linear time temporal logic with future and past operators of time...
Various types of calculi (Hilbert, Gentzen sequent, resolution calculi, tableaux) for propositional ...
This book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three p...
AbstractKamp’s theorem states that there is a temporal logic with two modalities (“until” and “since...
The introduction of the temporal analysis in Logic has stimulated different approaches, some of them...
In this paper a technique is presented which provides us with a means to develop resolution-based ca...
A labeled sequent calculus LSC for propositional linear discrete time logic PLTL is introduced. Its ...
AbstractThis paper extends previous work on the modal logic CK as a reference system, both proof-the...
A b s t r a c t. The notion of “sequences ” is fundamental to prac-tical reasoning in computer scien...
Multi-modal logics are among the best tools developed so far to analyse human reasoning and agents' ...
International audienceWe define sequent-style calculi for nominal tense logics characterized by clas...
This paper is a continuation of the work started in [FG92] on combining temporal logics. In this wor...
SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...
This paper is a continuation of the work started in [FG92] on combining temporal logics. In this wor...
This thesis is about automated reasoning in quantified modal and temporal logics, with an applicatio...
We consider propositional discrete linear time temporal logic with future and past operators of time...
Various types of calculi (Hilbert, Gentzen sequent, resolution calculi, tableaux) for propositional ...
This book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three p...
AbstractKamp’s theorem states that there is a temporal logic with two modalities (“until” and “since...
The introduction of the temporal analysis in Logic has stimulated different approaches, some of them...
In this paper a technique is presented which provides us with a means to develop resolution-based ca...
A labeled sequent calculus LSC for propositional linear discrete time logic PLTL is introduced. Its ...
AbstractThis paper extends previous work on the modal logic CK as a reference system, both proof-the...
A b s t r a c t. The notion of “sequences ” is fundamental to prac-tical reasoning in computer scien...
Multi-modal logics are among the best tools developed so far to analyse human reasoning and agents' ...
International audienceWe define sequent-style calculi for nominal tense logics characterized by clas...
This paper is a continuation of the work started in [FG92] on combining temporal logics. In this wor...
SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...
This paper is a continuation of the work started in [FG92] on combining temporal logics. In this wor...
This thesis is about automated reasoning in quantified modal and temporal logics, with an applicatio...
DOI
Add to ORKG