Results 231 to 240 of about 153,381 (281)

Modal Multilattice Logic

Logica Universalis, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kamide, Norihiro, Shramko, Yaroslav
openaire   +2 more sources

Term-Modal Logics

Studia Logica, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fitting, Melvin, Thalmann, Lars, Voronkov, Andrei   +2 more
openaire   +5 more sources

Modal Logic As Dialogical Logic

Synthese, 2001
The title reflects my conviction that, viewed semantically, modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy.
openaire   +3 more sources

Labelled Modal Logics: Quantifiers

Journal of Logic, Language and Information, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BASIN D., MATTHEWS S., VIGANO', Luca
openaire   +2 more sources

Modal Discussive Logics

Journal of Philosophical Logic
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Krystyna Mruczek-Nasieniewska, Marek Nasieniewski, Andrzej Pietruszczak   +2 more
openaire   +1 more source

Resolution Modal Logics

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

Fuzzy Modal Logics

Journal of Mathematical Sciences, 2005
An approach to the specification of discrete dynamical systems with non-quantative representation of uncertainty in their structure is developed. The main goal of the paper is to construct a logical calculus which can serve as a basis for specification languages for uncertain dynamical systems (fuzzy modal logic).
openaire   +2 more sources

Modality, Si! Modal Logic, No!

Studia Logica, 1997
In 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

Modal Logics

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

Modal Logic

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