Results 261 to 270 of about 1,933,548 (305)
Some of the next articles are maybe not open access.
The modal logic of quantum logic
Journal of Philosophical Logic, 1979Modal logic is concerned with the concepts of necessity and possibility and a certain class of object propositions. In this paper we develop the basic concepts of a modal logic which is related to propositions about quantum physical objects. Since the object logic of quantum mechanical propositions is given by the calculi of quantum logic, the ...
openaire +1 more source
Modal Logic, Truth, and the Master Modality
Journal of Philosophical Logic, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Logical Connectives for Constructive Modal Logic
Synthese, 2006Model-theoretic proofs of functional completeness along the lines of [\textit{D. P. McCullough}, J. Symb. Log. 36, 15--20 (1971; Zbl 0216.28801)] are given for various constructive modal propositional logics with strong negation.
openaire +2 more sources
Hybrid Logic Meets IF Modal Logic
Journal of Logic, Language and Information, 2009zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
A Fibrational Framework for Substructural and Modal Logics
International Conference on Formal Structures for Computation and Deduction, 2017Daniel R. Licata +2 more
semanticscholar +1 more source
1985
In this paper we describe a general way to define a resolution method in the framework of non classical logic.
openaire +2 more sources
In this paper we describe a general way to define a resolution method in the framework of non classical logic.
openaire +2 more sources
1980
A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability.
openaire +1 more source
A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability.
openaire +1 more source
Gamma graph calculi for modal logics
Synthese, 2017Minghui Ma, A. Pietarinen
semanticscholar +1 more source
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 +2 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 +2 more sources
Journal of Logic, Language and Information, 1992
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