Results 281 to 290 of about 19,016 (311)
Some of the next articles are maybe not open access.
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
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
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
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
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
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
The Institution of Many-Logics Modal Logic
Approaching reconfigurable systems as structured transition systems, where the states are models in a given institution, is a methodological approach pursued in [17]. The versatility of this approach lies in the assumption that the logic used for configurations can be chosen based on the nature of the system configurations to be developed. Technically,Freire, Alfredo R. +2 more
openaire +2 more sources
A Logic for Aristotle's Modal Syllogistic
History and Philosophy of Logic, 2023Clarence Lewis Protin
exaly