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

Author： Dzik Wojciech   Jrvinen Jouni   Kondo Michiro  

Publisher： Oxford University Press

ISSN： 1368-9894

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

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

Richmal Mangnall and the Brontë Connection

By Butcher Chris  

Bronte Studies, Vol. 29, Iss. 3, 2004-11 ,pp. : 229-236

Maney Publishing

Access to resources Recommend Favorite

A. M. BOLKESTEIN, Problems in the Description of Modal Verbs: an Investigation of Latin (Studies in Greek and Latin Linguistics, 1). Assen, Van Gorcum, 1980. XII, 185 p. Pr. Hfl. 36,50. E. VESTER, Instrument and Manner Expressions in Latin (Idem, 2). Ibid., 1983. X, 201 p. Pr. Hfl. 29,50

By Matthews P.H.  

Mnemosyne, Vol. 41, Iss. 3-4, 1988-01 ,pp. : 424-428

Brill

Access to resources Recommend Favorite

‘Finite Variety’

By Smith Helen  

The Cambridge Quarterly, Vol. 35, Iss. 1, 2006-01 ,pp. : 89-94

Oxford University Press

Access to resources Recommend Favorite

ISLAMIC INDIVIDUALISM AND THE LOGIC OF THE NARRATIVE

By Rashid C. E.  

Interventions: international journal of postcolonial studies, Vol. 14, Iss. 4, 2012-12 ,pp. : 613-624

Routledge Ltd

Access to resources Recommend Favorite

Cultural Property and Collective Identity

By Coleman Elizabeth  

Critical Studies, Vol. 28, Iss. 1, 2006-01 ,pp. : 161-171

Rodopi

Access to resources Recommend Favorite