Results 21 to 30 of about 5,094 (281)
An expressive completeness theorem for coalgebraic modal mu-calculi [PDF]
Logical Methods in Computer Science, 2017 Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas.
Sebastian Enqvist +2 more
doaj +1 more source
A Normal Modal Logic for Trust in the Sincerity
International Joint Conference on Autonomous Agents and Multiagent Systems, 2018 In the field of multi-agent systems, as some agents may be not reliable or honest, a particular attention is paid to the notion of trust. There are two main approaches for trust: trust assessment and trust reasoning. Trust assessment is often realized with fuzzy logic and reputation systems which aggregate testimonies -- individual agents' assessments -
Leturc, Christopher, Bonnet, Grégory
openaire +3 more sources
Rosser Provability and Normal Modal Logics [PDF]
Studia Logica, 2019 In this paper, we investigate Rosser provability predicates whose provability logics are normal modal logics. First, we prove that there exists a Rosser provability predicate whose provability logic is exactly the normal modal logic ${\sf KD}$. Secondly, we introduce a new normal modal logic ${\sf KDR}$ which is a proper extension of ${\sf KD}$, and ...
openaire +2 more sources
Non-normal modalities in variants of linear logic [PDF]
Journal of Applied Non-Classical Logics, 2015 This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of Linear Logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities.
Daniele Porello, Nicolas Troquard
openaire +4 more sources
A Neighbourhood Semantics for the Logic TK
Principia: An International Journal of Epistemology, 2011 The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK.
Hércules de Araújo Feitosa +1 more
doaj +3 more sources
Certification of Prefixed Tableau Proofs for Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Different theorem provers tend to produce proof objects in different formats and this is especially the case for modal logics, where several deductive formalisms (and provers based on them) have been presented.
Tomer Libal, Marco Volpe
doaj +1 more source
Axioms, 2016 This paper deals with several problems concerning notion of existential dependence and ontological notions of existence, necessity and fusion. Following some ideas of Eugenia Ginsberg-Blaustein, the notions are treated in reference to objects, in ...
Marek Magdziak
doaj +1 more source
Reasoning in Non-normal Modal Description Logics [PDF]
CoRR, 2022 Non-normal modal logics, interpreted on neighbourhood models which generalise the usual relational semantics, have found application in several areas, such as epistemic, deontic, and coalitional reasoning. We present here preliminary results on reasoning in a family of modal description logics obtained by combining ALC with non-normal modal operators ...
Tiziano Dalmonte +2 more
openaire +2 more sources
Normal Modal Logics Determined by Aligned Clusters [PDF]
Studia Logica, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zofia Kostrzycka, Yutaka Miyazaki
openaire +2 more sources
Reasoning about Strategies: on the Satisfiability Problem [PDF]
Logical Methods in Computer Science, 2017 Strategy Logic (SL, for short) has been introduced by Mogavero, Murano, and Vardi as a useful formalism for reasoning explicitly about strategies, as first-order objects, in multi-agent concurrent games.
Fabio Mogavero +3 more
doaj +1 more source