Gabbay-Style Calculi

Publisher Website

1 January 1996

book chapter
Published by Springer Nature

p. 243-252
https://doi.org/10.1007/978-94-017-2798-3_13

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Cylindric modal logic
The Journal of Symbolic Logic, 1995
A Modal Logic for Quantification and Substitution
Logic Journal of the IGPL, 1994
Temporal logics need their clocks
Theoretical Computer Science, 1992
Algebraization of quantifier logics, an introductory overview
Studia Logica, 1991
An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames
Published by Springer Nature ,1981