Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Coalgebraic semantics of modal logics: An overview
Coalgebras can be seen as a natural abstraction of Kripke frames. In the same sense,
coalgebraic logics are generalised modal logics. In this paper, we give an overview of the …
coalgebraic logics are generalised modal logics. In this paper, we give an overview of the …
[HTML][HTML] A simple logic for reasoning about incomplete knowledge
The semantics of modal logics for reasoning about belief or knowledge is often described in
terms of accessibility relations, which is too expressive to account for mere epistemic states …
terms of accessibility relations, which is too expressive to account for mere epistemic states …
Weak negation in inquisitive semantics
This paper introduces and explores a conservative extension of inquisitive logic. In
particular, weak negation is added to the standard propositional language of inquisitive …
particular, weak negation is added to the standard propositional language of inquisitive …
[HTML][HTML] Refinement modal logic
In this paper we present refinement modal logic. A refinement is like a bisimulation, except
that from the three relational requirements only 'atoms' and 'back'need to be satisfied. Our …
that from the three relational requirements only 'atoms' and 'back'need to be satisfied. Our …
Arbitrary action model logic and action model synthesis
We present a method for synthesising action models that result in a given post-condition
when executed on any Kripke model. Action models represent social actions that affect the …
when executed on any Kripke model. Action models represent social actions that affect the …
Modal logic and the Vietoris functor
Y Venema, J Vosmaer - Leo Esakia on duality in modal and intuitionistic …, 2014 - Springer
Abstract In [16], Esakia uses the Vietoris topology to give a coalgebra-flavored definition of
topological Kripke frames, thus relating the Vietoris topology, modal logic and coalgebra. In …
topological Kripke frames, thus relating the Vietoris topology, modal logic and coalgebra. In …
Completeness for the coalgebraic cover modality
We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of
this logic, which is introduced uniformly with respect to a coalgebraic type functor, required …
this logic, which is introduced uniformly with respect to a coalgebraic type functor, required …
[PDF][PDF] Uniform Interpolation for Monotone Modal Logic.
We reconstruct the syntax and semantics of monotone modal logic, in the style of Moss'
coalgebraic logic. To that aim, we replace the box and diamond with a modality∇ which …
coalgebraic logic. To that aim, we replace the box and diamond with a modality∇ which …
[PDF][PDF] Future Event Logic-Axioms and Complexity.
In this paper we present a sound and complete axiomatization of future event logic. Future
event logic is a logic that generalizes a number of dynamic epistemic logics, by using a new …
event logic is a logic that generalizes a number of dynamic epistemic logics, by using a new …
[PDF][PDF] Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc.
Given the “possible worlds” interpretation of modal logic, a refinement of a Kripke model is
another Kripke model in which an agent has ruled out some possible worlds to be consistent …
another Kripke model in which an agent has ruled out some possible worlds to be consistent …