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

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

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

By van Alten C.   Raftery J.  

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

Springer Publishing Company

Access to resources Recommend Favorite

Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae

By demri S.   Orłowska E.  

Studia Logica, Vol. 62, Iss. 2, 1999-03 ,pp. : 177-200

Springer Publishing Company

Access to resources Recommend Favorite

Development of model for the estimation of direct flood damage including the movable property

By  

JOURNAL OF FLOOD RISK MANAGEMENT, Vol. 11, Iss. S1, 2018-01 ,pp. : S527-S540

John Wiley & Sons Inc

Access to resources Recommend Favorite