Results 281 to 290 of about 1,731,030 (337)
Some of the next articles are maybe not open access.
Modality, Si! Modal Logic, No!
Studia Logica, 1997In this brief note, the author recalls some examples of statements that use modal notions but which, it would seem, cannot be represented adequately by the usual modal logics. The notions involved are those of believing, knowing, intending, desiring, and being under an obligation; the examples are gathered mainly from earlier publications of the author,
openaire +1 more source
1997
Abstract When discussing in Section 2.1 the meaning of intuitionistic connectives, we used in our language-a metalanguage with respect to ℒ-the undefined notion “proof’. Making the proof interpretation somewhat rougher, we can treat, for example, the intuitionistic formulap--→qVras the ...
Alexander Chagrov, Michael Zakharyaschev
openaire +1 more source
Abstract When discussing in Section 2.1 the meaning of intuitionistic connectives, we used in our language-a metalanguage with respect to ℒ-the undefined notion “proof’. Making the proof interpretation somewhat rougher, we can treat, for example, the intuitionistic formulap--→qVras the ...
Alexander Chagrov, Michael Zakharyaschev
openaire +1 more source
2009
Abstract Why are we so interested in the semantics of modal words? An easy answer for a linguist to give might be that we’re interested in the semantics of all kinds of words, and we might as well attend to the modal ones now rather than later. From this perspective, we could have just as well begun with words expressing family relations
+4 more sources
Abstract Why are we so interested in the semantics of modal words? An easy answer for a linguist to give might be that we’re interested in the semantics of all kinds of words, and we might as well attend to the modal ones now rather than later. From this perspective, we could have just as well begun with words expressing family relations
+4 more sources
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, 1991
E. Emerson
semanticscholar +1 more source
E. Emerson
semanticscholar +1 more source
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
1997
Abstract For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators - `like it is necessary' in philosophy, `it is believed' in cognitive science, `it is provable' in mathematics and `it ...
Alexander Chagrov, Michael Zakharyaschev
openaire +1 more source
Abstract For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators - `like it is necessary' in philosophy, `it is believed' in cognitive science, `it is provable' in mathematics and `it ...
Alexander Chagrov, Michael Zakharyaschev
openaire +1 more source
Fuzzy Bisimulation for Gödel Modal Logic
IEEE transactions on fuzzy systems, 2015T. Fan
semanticscholar +1 more source
1991
Abstract Questions about modal logic were posed by Aristotle and were thoroughly investigated by the Scholastics, but the subject seems to have been completely neglected until it acquired a new lease of life in mathematical logic, particularly through the work of McColl and Lewis.
openaire +1 more source
Abstract Questions about modal logic were posed by Aristotle and were thoroughly investigated by the Scholastics, but the subject seems to have been completely neglected until it acquired a new lease of life in mathematical logic, particularly through the work of McColl and Lewis.
openaire +1 more source