Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 2 hakutulosta
Handbook of Spatial Logics
e-kirja,
2007,
englanti,
ISBN 9781402055874
A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics …
Fragments of First-Order Logic
e-kirja,
2023,
englanti,
ISBN 9780192693891
A sentence of first-order logic is satisfiable if it is true in some structure, and finitely satisfiable if it is true in some finite structure. The question arises as to whether …