zbMath0909.03001MaRDI QIDQ4217280
Dov M. Gabbay
Publication date: 4 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
On modal logics betweenK × K × KandS5 × S5 × S5,
Stratified institutions and elementary homomorphisms,
Axiomatisation and decidability of multi-dimensional Duration Calculus,
An unexpected Boolean connective,
Compositional meaning in logic,
Weakening Relation Algebras and FL$$^2$$-algebras,
Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design,
Deciding Theoremhood in Fibred Logics Without Shared Connectives,
Completeness theorems for reactive modal logics,
A logic of argumentation for specification and verification of abstract argumentation frameworks,
Introducing reactive Kripke semantics and arc accessibility,
Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger,
An NP-complete fragment of fibring logic,
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics,
Information systems in modeling interactive computations on granules,
Frames for fusions of modal logics,
Combining Modes of Reasoning: An Application of Abstract Argumentation,
An analytic tableau calculus for a temporalised belief logic,
Fibring: completeness preservation,
Distributed Modal Logic,
Paraconsistent orbits of logics,
A Conditional Constructive Logic for Access Control and Its Sequent Calculus,
PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS,
Fibring as biporting subsumes asymmetric combinations,
Modal and Temporal Argumentation Networks,
2003-04 Winter Meeting of the Association for Symbolic Logic,
Quantum logic, Hilbert space, revision theory,
Modulated fibring and the collapsing problem,
Fibred security language,
Rough Sets: From Rudiments to Challenges,
REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION,
On axiomatising products of Kripke frames,
\({\mathcal E}\)-connections of abstract description systems
