AbstractA new modal logic D is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic D is proven to be decidable and complete with respect to this semantics
In 1933 Godel introduced a modal logic of provability (S4) and left open the problem of a formal pro...
In previous work we gave an approach, based on labelled natural deduction, for formalizing proof sys...
The talk introduces Modal Logic as an extension of classical propositional and First Order Logics. W...
We present a formalization of propositional modal logic in the framework of Labelled Deductive Syste...
Propositional modal logic is a conservative extension of classical propositional logic. It introduce...
In recent years, research into the mathematical foundations of modal logic has become increasingly p...
The definitions of propositional modal logic are traditionally formulated in the following way. 1 Fi...
1 This paper is a continuation of the investigations reported in Corcoran and Weaver [1] where two l...
We show how labelled deductive systems can be combined with a logical framework to provide a natural...
We show how labelled deductive systems can be combined with a logical framework to provide a natural...
This article is a brief, user friendly discourse on extensions of multi- modal logics with operation...
Modal Logic is traditionally concerned with the intensional operators “possibly ” and “necessary”, w...
We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Fef...
Abstract: McCarthy has argued that modal logic is too limited for various purposes. I consider the e...
Various modal logics seem well suited for developing models of knowledge, belief, time, change, caus...
In 1933 Godel introduced a modal logic of provability (S4) and left open the problem of a formal pro...
In previous work we gave an approach, based on labelled natural deduction, for formalizing proof sys...
The talk introduces Modal Logic as an extension of classical propositional and First Order Logics. W...
We present a formalization of propositional modal logic in the framework of Labelled Deductive Syste...
Propositional modal logic is a conservative extension of classical propositional logic. It introduce...
In recent years, research into the mathematical foundations of modal logic has become increasingly p...
The definitions of propositional modal logic are traditionally formulated in the following way. 1 Fi...
1 This paper is a continuation of the investigations reported in Corcoran and Weaver [1] where two l...
We show how labelled deductive systems can be combined with a logical framework to provide a natural...
We show how labelled deductive systems can be combined with a logical framework to provide a natural...
This article is a brief, user friendly discourse on extensions of multi- modal logics with operation...
Modal Logic is traditionally concerned with the intensional operators “possibly ” and “necessary”, w...
We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Fef...
Abstract: McCarthy has argued that modal logic is too limited for various purposes. I consider the e...
Various modal logics seem well suited for developing models of knowledge, belief, time, change, caus...
In 1933 Godel introduced a modal logic of provability (S4) and left open the problem of a formal pro...
In previous work we gave an approach, based on labelled natural deduction, for formalizing proof sys...
The talk introduces Modal Logic as an extension of classical propositional and First Order Logics. W...
DOI
Add to ORKG