Person
We present a number of, somewhat unusual, ways of describing what Craig’s interpolation theorem achieves, and use them to identify some open problems and further directions.
Het ANTW viert een eeuwfeest, en dat is een welgemeende gelukwens waard. Voor een onderneming die beide wereldoorlogen nog heeft meegemaakt, en talloze golven van verandering heeft zien aanrollen op de Nederlandstalige filosofie, oogt het tijdschrift opmerkelijk levendig en eigentijds. Na een typogr
We show that propositional dynamic logic and the modal μ-calculus are closed under product modalities, as defined in current dynamic-epistemic logics. Our analysis clarifies the latter systems, while also raising some new questions about fixed-point logics.
Logical systems have long been used to describe mathematical proof, structured computation, and linguistic meanings. In recent years, they are also coming to be used increasingly to study rational agency in its many aspects, from picking up single pieces of information to multi-agent actions of comm
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 m
Substructural logics arise whenever classical logic is put to new uses, and logicians from Serbia have been in the fore-front here. In this paper, we join the substructural tradition with another recent trend, viz. dynamic logic of information update. We show how these two approaches fit together, i
Go to page top
Go back to contents
Go back to site navigation