Results 281 to 290 of about 11,569 (296)
Some of the next articles are maybe not open access.
2016
INTRODUCTION The logical analysis of modalities, as initiated in Aristotle's On Interpretation and Prior Analytics , focused on the inferential relations among modal propositions, i.e. propositions concerning necessity, possibility and contingency. The Aristotelian legacy of modal logic underwent major transformations in medieval times, in both the
Paul Thom, Riccardo Strobino
openaire +2 more sources
INTRODUCTION The logical analysis of modalities, as initiated in Aristotle's On Interpretation and Prior Analytics , focused on the inferential relations among modal propositions, i.e. propositions concerning necessity, possibility and contingency. The Aristotelian legacy of modal logic underwent major transformations in medieval times, in both the
Paul Thom, Riccardo Strobino
openaire +2 more sources
1985
In this paper we describe a general way to define a resolution method in the framework of non classical logic.
openaire +3 more sources
In this paper we describe a general way to define a resolution method in the framework of non classical logic.
openaire +3 more sources
Fundamenta Informaticae, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Studia Logica, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Journal of Symbolic Logic, 1967
As anyone who is familiar with the literature knows, there is a great deal of controversy concerning which, if any, of the extant theories of propositional modal logic correctly formalizes the logic of certain logical concepts such as analyticity and logical necessity. Most of the controversy concerns certain principles that involve iterated modalities
openaire +3 more sources
As anyone who is familiar with the literature knows, there is a great deal of controversy concerning which, if any, of the extant theories of propositional modal logic correctly formalizes the logic of certain logical concepts such as analyticity and logical necessity. Most of the controversy concerns certain principles that involve iterated modalities
openaire +3 more sources
Journal of Logic, Language and Information, 1992
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
1979
I have distinguished between modal logic and tense logic more than is usual because I hold the distinction to be important. I am speaking of alethic modal logic, and throughout this chapter modal logic otherwise unspecified will mean the alethic variety.
openaire +2 more sources
I have distinguished between modal logic and tense logic more than is usual because I hold the distinction to be important. I am speaking of alethic modal logic, and throughout this chapter modal logic otherwise unspecified will mean the alethic variety.
openaire +2 more sources
2015
The chapter begins with a brief historical survey of the development of the formalization of modalities in logic in the 20th century, focusing on the work by Lewis, Carnap and Quine. Then what seems to be one of the main limitative results on modal predicates, Montague’s theorem, is presented and critically discussed. It is shown how such paradoxes can
openaire +2 more sources
The chapter begins with a brief historical survey of the development of the formalization of modalities in logic in the 20th century, focusing on the work by Lewis, Carnap and Quine. Then what seems to be one of the main limitative results on modal predicates, Montague’s theorem, is presented and critically discussed. It is shown how such paradoxes can
openaire +2 more sources