On linear Brouwerian logics

descriptionPublicationkeyboard_double_arrow_right Article 28 Jul 2014 English Publisher:WileyJournal:Mathematical Logic Quarterly, volume 60, pages 304-313 (issn: 0942-5616, eissn: 1521-3870,

Copyright policy )

Authors: Zofia Kostrzycka;

doi: 10.1002/malq.201200075

On linear Brouwerian logics

- Summary
- Subjects
- Metrics

Abstract

We define a special family of Brouwerian logics determined by linearly ordered frames. Then we prove that all logics of this family have the finite model property and are Kripke complete.

Related Organizations

Opole University of Technology
Poland

Keywords

Modal logic (including the logic of norms)

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	1
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average