STATUS
Guest (Restricted Access)
SELECTED TITLES
Selected titles: 0

Export:
Text | Dublin Core | RIS
Journal article Journal article [Search Result] | [save] |

Bibliographic description
Author Search all publications by the author Benthem, Johan van
Title Program constructions that are safe for bisimulation
Written in English
Notes 23 Literaturangaben
Source Journal Studia logica. - Dordrecht : Springer Science + Business Media
Volume 60
Year 1998
Issue 2
Page 311-330
Classification
Domains / Methodology / Philosophy of science / Theorem proving
Domains / Linguistic logic
Domains / Linguistic logic / Modal logic
Redirected from
Logic of language; Linguistic logic ; Deontische Logik; Acceptance logic; Alethic modality; Alethische Modalität; Kripke semantics; Relational semantics; Modal logic