A Hybridization of Irreflexive Modal Logics

Authors:
Sano Katsuhiko
Affiliations:
Graduate School of Letters, Kyoto University, Kyoto, Japan
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 4
Cited 0

Temporal logic (vol. 1): mathematical foundations and computational aspects

Temporal logic (vol. 1): mathematical foundations and computational aspects
Modal logic

Modal logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic

Specifying Message Passing and Time-Critical Systems with Temporal Logic
Axiomatising the Logic of Computer Programming

Axiomatising the Logic of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper discusses a bimodal hybrid language with a sub-modality (called the irreflexive modality) associated with the intersection of the accessibility relation R and the inequality . First, we provide the Hilbert-style axiomatizations (with and without the COV-rule) for logics of our language, and prove the Kripke completeness and the finite frame property for them. Second, with respect to the frame expressive power, we compare our language containing the irreflexive modality with the hybrid languages H and H(E). Finally, we establish the Goldblatt-Thomason-style characterization for our language.