1 - 5 of 5 articles
The paper presents a ‘multiple agent’ logic where formulas are pairs of the form , made of a proposition and a subset of agents . The formula is intended to mean ‘(at least) all agents in believe that is true’. The formal similarity of such formulas with those of possibilistic logic, where...
There are several three-valued logical systems that form a scattered landscape, even if all reasonable connectives in three-valued logics can be derived from a few of them. Most papers on this subject neglect the issue of the relevance of such logics in relation with the intended meaning of the...
The modal -calculus extends basic modal logic with second-order quantification in terms of arbitrarily nested fixpoint operators. Its satisfiability problem is EXPTIME-complete. Decision procedures for the modal -calculus are not easy to obtain though since the arbitrary nesting of fixpoint...
AbstractI present a variant of with time, called (Temporal ), interpreted in standard Kripke semantics. On the syntactic level, is nothing but the extension of atemporal individual by: (i) the future tense and past tense operators, and (ii) the operator of group agency for the grand coalition...
Read and print from thousands of top scholarly journals.
Continue with Facebook
Log in with Microsoft
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.