From Frame Properties to Hypersequent Rules in Modal Logics

We provide a general method for generating cutfree and/or analytic hypersequent Gentzen-type calculi for a variety of normal modal logics. The method applies to all modal logics characterized by Kripke frames, transitive Kripke frames, or symmetric Kripke frames satisfying some properties, given by...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science s. 408 - 417
Hlavný autor:	Lahav, Ori
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.06.2013
Predmet:	Calculus Computer science Context cut-admissibility Educational institutions frame properties hypersequent calculi modal logic proof theory Semantics Syntactics
ISBN:	1479904139, 9781479904136
ISSN:	1043-6871
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!