The following pages link to (Q4217280):
Displaying 41 items.
- An analytic tableau calculus for a temporalised belief logic (Q456722) (← links)
- Information systems in modeling interactive computations on granules (Q642541) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- Fibred security language (Q1037607) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Disjoint fibring of non-deterministic matrices (Q1685929) (← links)
- Fibring non-truth-functional logics: Completeness preservation (Q1868482) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Completeness theorems for reactive modal logics (Q1935589) (← links)
- A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593) (← links)
- Introducing reactive Kripke semantics and arc accessibility (Q1935595) (← links)
- On combined connectives (Q1941724) (← links)
- Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger (Q1941728) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- Paraconsistent orbits of logics (Q2239383) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Combining fragments of classical logic: when are interaction principles needed? (Q2317512) (← links)
- Stratified institutions and elementary homomorphisms (Q2379932) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- Recovering a logic from its fragments by meta-fibring (Q2470765) (← links)
- Fibring: Completeness preservation (Q2732291) (← links)
- A Conditional Constructive Logic for Access Control and Its Sequent Calculus (Q3010367) (← links)
- Distributed Modal Logic (Q3305433) (← links)
- Combining Modes of Reasoning: An Application of Abstract Argumentation (Q3532478) (← links)
- Modal and Temporal Argumentation Networks (Q3587249) (← links)
- (Q4279085) (← links)
- Modulated fibring and the collapsing problem (Q4451732) (← links)
- On axiomatising products of Kripke frames (Q4508270) (← links)
- On modal logics between<b>K × K × K</b>and<b>S5 × S5 × S5</b> (Q4532612) (← links)
- Fibring Labelled Deduction Systems (Q4542941) (← links)
- 2003-04 Winter Meeting of the Association for Symbolic Logic (Q4678941) (← links)
- Fibring Modal First-Order Logics: Completeness Preservation (Q4779584) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)
- Weakening Relation Algebras and FL$$^2$$-algebras (Q5098717) (← links)
- Rough Sets: From Rudiments to Challenges (Q5245176) (← links)
- Deciding Theoremhood in Fibred Logics Without Shared Connectives (Q5350345) (← links)
- Frames for fusions of modal logics (Q5375871) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- Quantum logic, Hilbert space, revision theory (Q5958493) (← links)
