Results 241 to 250 of about 1,933,548 (305)

On an Intuitionistic Modal Logic

Studia Logica, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gavin M. Bierman, Valeria de Paiva
openaire   +2 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 ...
Patrick Blackburn, Maarten de Rijke, Yde Venema   +2 more
openaire   +4 more sources

Modal Logic

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 V. Chagrov, Michael Zakharyaschev   +1 more
openaire   +1 more source

A Hennessy-Milner Property for Many-Valued Modal Logics

Advances in Modal Logic, 2014
A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp ...
M. Marti, G. Metcalfe
semanticscholar   +1 more source

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

Combinations of Modal Logics

Artificial Intelligence Review, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Brandon Bennett, Clare Dixon, Michael Fisher 0001, Ullrich Hustadt, Enrico Franconi, Ian Horrocks 0001, Maarten de Rijke   +6 more
openaire   +5 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   +3 more sources

Adaptive Logic as a Modal Logic

Studia Logica, 2012
Modal logic has received a tremendous push in the recent decades. However, its connection to non-classical logics (broadly conceived) still remains under-studied. Allo's paper studies a long-due gap in the field of adaptive logics, which is a subject mainly developed by Batens' research group.
openaire   +3 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

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