Transferring completeness from coalgebraic modal logics
Weak completeness of coalgebraic dynamic logics
... our coalgebraic framework to monads that carry quantitative information to cover important cases such as probabilistic and weighted transition ...exogenous logics relate to the endogenous coalgebraic ...
15
Strong completeness for iteration-free coalgebraic dynamic logics
... dynamic modal logics that form our guiding ...a modal logic for reasoning about program ...inductively from a set Prog 0 of atomic programs using the operations of sequential composition (;), ...
15
Strong completeness for iteration-free coalgebraic dynamic logics
... of coalgebraic modal logic and ...for coalgebraic dynamic modal ...strong completeness result which builds on the generic strong com- pleteness result in [30] by showing that a ...
16
Post Completeness in Congruential Modal Logics
... distinct from L, the coatoms of C can also be described as the maximal elements of the set of consistent members of ...Post completeness makes clear that logics, un- derstood as sets of formulas, are ...
14
MoL 2019 08: Polyhedral Completeness in Intermediate and Modal Logics
... areas, from type theory to model ...and modal logic with algebras of ...Spatial Logics [ APB07 ] , which provides an excellent survey of some of the recent developments in this ...
89
Modular Construction of Complete Coalgebraic Logics
... specification logics and proof ...specification logics and proof systems for a combination of constructs, in terms of the ingredients of the ...of logics and proof systems. On the side of ...
42
Coalgebraic Logics (Dagstuhl Seminar 12411)
... interpret modal logics under different assumptions on the probabilistic ...generalized from general modal logics to coalgebraic logics ; these logics are ...
24
Kripke completeness of strictly positive modal logics over meet semilattices with operators
... the completeness problem for spi-logics, that is, sets of im- plications between strictly positive formulas built from propositional variables, conjunc- tion and modal diamond ...
58
PP 2017 04: Completeness for mu calculi: a coalgebraic approach
... insights from the theory of automata operating on potentially infinite objects, with methods from the categorical framework of coalgebra as a general theory of state- based evolving ...a coalgebraic ...
62
An Institution of Modal Logics for Coalgebras
... within modal logic 2 [4], when seeking to formalise bisimulation-invariant properties of system states it is natural to consider log- ics which are modal in ...such logics have been studied in recent ...
31
Modular Construction of Modal Logics
... defining logics for a wide variety of state-based ...and modal logics to specify behavioural properties of ...such logics can all be derived in a modular ...the logics thus obtained ...
16
Clausal Resolution for Modal Logics of Confluence
... built from a set of ...check completeness for proof methods in modal logics (see [3], for instance, for definitions and ...and modal literals occurring in the set of clauses, including ...
15
PP 2006 08: Modal Logics of Space
... to modal languages of spatial struc- ...general completeness theorem for topological models, and from there, to the landmark completeness theorem for the reals using mod- ern ...richer ...
86
Reasoning with global assumptions in arithmetic modal logics
... These logics are the main examples we address in a more general coalgebraic framework in this ...for coalgebraic logics can be decided in a step-by-step fashion, peeling off one layer of ...
13
CiteSeerX — Tableau Methods for Modal and Temporal Logics
... \processed". For _ we put one disjunct in n and create a copy of the old n containing the other disjunct giving a branch in the tableau. Repeating this process on the new formulae means that n contains ...
110
Proof theory for quantified monotone modal logics
... normal modal logics has been the object of active investigation, see [8, 13, 17] and the related [9] where analytic labelled tableaux are ...non-normal modal logics through the internalization ...
30
PP 2016 33: Completeness for the modal mu calculus: separating the combinatorics from the dynamics
... of modal parity ...the completeness proof: the combinatorics involved in reasoning with fixpoints, and the dynamics encoded in the semantics of the modal ...originating from the theory of ...
115
PP 2004 15: Modal Logics for Products of Topologies
... main completeness theorems. Our strategy is as follows. We use completeness of S4 with respect to T 2 ; view T 2 as a topological space with the topology defined from the order of T 2 ; label a dense ...
19
On Logics for Coalgebraic Simulation
... Notions of simulation between coalgebras have been studied in [13,8,1,10]. A summary of these approaches is given in the following. For this, we fix an endofunctor T : Set → Set. The concept which lies at the heart of ...
25
Relating Algebraic and Coalgebraic Logics of Knowledge and Update
... These announcements are encoded by assuming rationality with regard to the announcement for the insiders B ∈ β, and rationality with regard to a neutral action τ ∈ Ac for the outsiders C / ∈ β. The Muddy Children Puzzle. ...
10