# Search results

Prace Filologiczne. Literaturoznawstwo > 2018 > 8(11) cz.1 > 27-42

Studia Logica > 2018 > 106 > 6 > 1097-1122

*fusion*, $$\text {L} _1 \otimes \text {L} _2$$ L1⊗L2 , axiomatized by the theorems of $$\text {L} _1$$ L1 for $$\square _1$$ □1 and of $$\text {L} _2$$ L2 for $$\square _2$$ □2 , and the rules of modus ponens, necessitation for $$\square _1$$ □1 and for $$\square _2$$ □2 , and substitution...

Studia Logica > 2016 > 104 > 3 > 487-502

*fusion*, $${\mathrm{L}_1 \otimes \mathrm{L}_2}$$ L 1 ⊗ L 2 , axiomatized by the theorems of $${\mathrm{L}_1 \rm for \square_1 \rm and of \mathrm{L}_2 \rm for \square_{2}}$$ L 1 for □ 1 and of L 2 for □ 2 . Shehtman introduced combinations...

Studia Logica > 2015 > 103 > 1 > 219-226

*frame products*of unimodal logics. Van Benthem, Bezhanishvili, ten Cate and Sarenac generalize this idea to the bimodal logics of the products of topological spaces, thereby introducing

*topological products*of unimodal logics. In particular, they show that the topological product...

Siberian Mathematical Journal > 2013 > 54 > 6 > 1037-1045

*LTK*

_{ r }with reflexive intransitive time relation. The logic is defined semantically as the set of formulas true on frames of a special kind. The

*LTK*

_{ r }-frames are linear chains of clusters connected by a reflexive intransitive relation

*R*

_{ T }which simulates time. Elements inside a cluster are connected...

Journal of Philosophical Logic > 2011 > 40 > 6 > 767-804

*Dynamic Topological Logic*( ) is a modal logic which combines spatial and temporal modalities for reasoning about

*dynamic topological systems*, which are pairs consisting of a topological space

*X*and a continuous function

*f*:

*X*→

*X*. The function

*f*is seen as a change in one unit of time; within one can model the long-term behavior of such systems as

*f*is iterated...

Filozofia (Philosophy) > 2009 > 64 > 4 > 346-350

Studies in History and Philosophy of Modern Physics > 2007 > 38 > 3 > 653-672

Fundamenta Informaticae > 2005 > Vol. 68, nr 1/2 > 21--46

Fundamenta Informaticae > 2000 > Vol. 44, Nr 4 > 373-396

Fundamenta Informaticae > 2000 > Vol. 42, nr 3,4 > 211-234

Theoretical Computer Science > 1998 > 195 > 1 > 33-60