Results 291 to 300 of about 152,005 (336)

Combinations of Modal Logics [PDF]

Artificial Intelligence Review, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bennet, B., Dixon, C., Fisher, M., Franconi, E., Horrocks, I., Hustadt, U., de Rijke, M.   +6 more
openaire   +5 more sources

Some of the next articles are maybe not open access.

Related searches:

A modal contrastive logic: The logic of ‘but’

Annals of Mathematics and Artificial Intelligence, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
J.-J. Ch. Meyer, W. van der Hoek
openaire   +3 more sources

Modal Logic

2001
This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each ...
Blackburn, P., de Rijke, M., Venema, Y.
openaire   +4 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   +4 more sources

On an Intuitionistic Modal Logic [PDF]

Studia Logica, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Valeria de Paiva, Gavin Bierman
openaire   +2 more sources

Modal logic and invariance

Journal of Applied Non-Classical Logics, 2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with generalized quantifiers, and various characterizations in terms of semantic invariance have been proposed. In this paper, our main concern is with modal and dynamic logics.
van Benthem, J., Bonnay, D.
openaire   +4 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   +2 more sources

The modal logic of quantum logic

Journal of Philosophical Logic, 1979
Modal 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   +2 more sources

The true modal logic [PDF]

Journal of Philosophical Logic, 1991
This paper traces, in very nice detail, the reasoning that led Prior to propose his curious system \(\mathbf Q\) as the true quantified modal logic. Because a logic should make as few metaphysical commitments as possible, the true modal logic should avoid the necessitarian myth, to which classical quantified modal logic seems committed, that whatever ...
openaire   +1 more source