Results 41 to 50 of about 261 (63)

Normal forms in partial modal logic

, 1993
J. Jaspars
semanticscholar   +1 more source

Review of Fernandez-Duque "Dynamic Topological Logic of Metric Spaces" [PDF]

, 2012
Robering, Klaus
core   +2 more sources

Review of Braüner "Intuitionistic Hybrid Logic: Introduction and Survey" [PDF]

, 2012
Robering, Klaus
core  

Some of the next articles are maybe not open access.

Related searches:

Algebraic logic and topoi; a philosophical holistic approach

, 2020
We take a magical tour in algebraic logic and its most novel applications. In algebraic logic we start from classical results on neat embeddings due to Andreḱa, Henkin, Németi, Monk and Tarski, all the way to recent results in algebraic logic using so ...
T. Ahmed
semanticscholar   +1 more source

Algebraic real analysis

Theory and Applications of Categories, 2008
An effort to initiate the subject of the title: the basic tool is the study of the abstract closed interval equipped with certain equational structures.
P. Freyd
semanticscholar   +1 more source

Finality regained: A coalgebraic study of Scott-sets and multisets

Archive for Mathematical Logic, 2002
G. D’Agostino, A. Visser
semanticscholar   +1 more source

Cut Elimination for Propositional Dynamic Logic without

Mathematical Logic Quarterly, 1992
R. A. Bull
semanticscholar   +1 more source

Tense Logic Without Tense Operators

Mathematical Logic Quarterly, 1996
F. Wolter
semanticscholar   +1 more source

Properties of Tense Logics

Mathematical Logic Quarterly, 1996
F. Wolter
semanticscholar   +1 more source

Peritopological Spaces and Bisimulations

Reports Math. Log., 2015
A. Hamal, M. Terziler
semanticscholar   +1 more source