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

Logic Journal of the IGPL

Volumn 21, Issue 2, 2013, Pages 199-204

  Dzik, Wojciech ^a   JäRvinen, Jouni ^b   Kondo, Michiro ^c  

^a UNIVERSITY OF SILESIA   (Poland)

^b Tokyo Denki University ^*

^c TOKYO DENKI UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS;

FINITE MODEL PROPERTY; GALOIS CONNECTION; INTUITIONISTIC MODAL LOGIC; INTUITIONISTIC PROPOSITIONAL LOGIC;

FORMAL LOGIC;

EID: 84875268241     PISSN: 13670751     EISSN: 13689894     Source Type: Journal    
DOI: 10.1093/jigpal/jzs016     Document Type: Article

References (1)

1. W. Dzik, J. Järvinen, M. Kondo. Intuitionistic propositional logic with Galois connections, Logic Journal of the IGPL, 18, 837-858, 2010.