1

On Combined Connectives

E-Article
2

Fibring Modal First-Order Logics: Completeness Preservation

E-Article
3

Fibring of logics as a categorial construction

E-Article
4

SYSTEMATICS: its syntax and semantics as a query language (2)

E-Article
5

SYSTEMATICS: Its syntax and semantics as a query language (1)

E-Article
6

Review: Fibring Logics

E-Article
7

Review: Fibring Logics

E-Article
8

Fibring Logics, Dov M. Gabbay

E-Article
9

Denotational semantics of object specification

E-Article
10

Synchronization of Logics

E-Article
11

The Role of Conceptual Modelling Abstractions in Compiler Development

E-Article
12
13

Preservation of Craig interpolation by the product of matrix logics

E-Article
14
15

On meet-combination of logics

E-Article
16

On probability and logic

E-Article
17

Decision and optimization problems in the unreliable-circuit logic

E-Article
18

PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS

E-Article
19
20

Importing Logics

E-Article