Abstract
The paper introduces a bi-intuitionistic logic with two modal operators and theirtense versions. The semantics is defined by Kripke models in which the set of worlds carries a pre-order relation as well as an accessibility relation, and the two relations are linked by a stability condition. A special case of these models arises from graphs in which the worlds are interpreted as nodes and edges of graphs, and formulae represent subgraphs. The pre-order is the incidence structure of the graphs.
| Original language | English |
|---|---|
| Title of host publication | Relational and Algebraic Methods in Computer Science |
| Publisher | Springer Nature |
| Pages | 412-428 |
| Number of pages | 16 |
| Publication status | Published - 1 Jan 2014 |