Search Results - "Modal logic"

Agent-Based Logics in Dependent Type Theory by Baston, Colm

Subjects: Get full text

Characterizing business rules for practical information systems by Carver, Andrew, Morgan, Tony

“…It further assesses the value of this modal logic classification scheme in the development and maintenance of information systems. …”
Get full text
Get full text

Presentism remains by Tallant, Jonathan

“…Correia and Rosenkrantz in Thought 4:19–27, 2015; Deasy in Nous, 2017. https://doi.org/10.1111/nous.12109; Williamson in Modal logic as metaphysics, OUP, Oxford, 2013). My overarching aim is to at least challenge such concerns. …”
Get full text

Multi-stage imaging retrieval: a relevance feedback retrieval with nearest neighbour clusters by Tengku Mohd. T. Sembok

“…Imaging Retrieval is a retrieval strategy which is based on modal logic where documents are viewed as possible worlds which are related through an accessibility relation established using their similarity/dissimilarity coefficients. …”
Get full text

The new Aristotelian essentialists by Noonan, Harold

“…Of course, Quine rejected what he called Aristotelian essentialism in his battle against quantified modal logic. But what he and Kripke debated was a notion of essence defined in terms of de re necessity. …”
Get full text