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

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

Idealization in Applied First-Order Logic

By Adams E.W.  

Synthese, Vol. 117, Iss. 3, 1998-01 ,pp. : 331-354

Springer Publishing Company

Access to resources Recommend Favorite

First-Order Classical Modal Logic

By Arló-Costa Horacio   Pacuit Eric  

Studia Logica, Vol. 84, Iss. 2, 2006-11 ,pp. : 171-210

Springer Publishing Company

Access to resources Recommend Favorite

Natural Deduction for First-Order Hybrid Logic

By BraÜner Torben  

Journal of Logic, Language and Information, Vol. 14, Iss. 2, 2005-03 ,pp. : 173-198

Springer Publishing Company

Access to resources Recommend Favorite