The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction

ISSN： 0039-3215

Source： Studia Logica, Vol.63, Iss.2, 1999-09, pp. : 213-222

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Loosely Guarded Fragment of First-Order Logic has the Finite Model Property

By Hodkinson I.

Studia Logica, Vol. 70, Iss. 2, 2002-03 ,pp. : 205-240

Springer Publishing Company

Access to resources Recommend Favorite

The Finite Model Property for BCI and Related Systems

By Buszkowski W.

Studia Logica, Vol. 57, Iss. 2-3, 1996-10 ,pp. : 303-323

Springer Publishing Company

Access to resources Recommend Favorite

A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic

By Pereira Luiz Haeusler Edward Costa Vaston Sanz Wagner

Studia Logica, Vol. 96, Iss. 1, 2010-10 ,pp. : 95-108

Springer Publishing Company

Access to resources Recommend Favorite

Expansion and Contraction of Finite States

By Tamminga Allard

Studia Logica, Vol. 76, Iss. 3, 2004-04 ,pp. : 427-442

Springer Publishing Company

Access to resources Recommend Favorite

Intuitionistic modal logic with a galois connection has the finite model property 1

By Dzik Wojciech Jrvinen Jouni Kondo Michiro

Logic Journal of the IGPL, Vol. 21, Iss. 2, 2013-04 ,pp. : 199-204

Oxford University Press

Access to resources Recommend Favorite