View in EDS PDF Full Text

Back and Forth Between First-Order Kripke Models.

Saved in:
Bibliographic Details
Title: Back and Forth Between First-Order Kripke Models.
Authors: Połacik, Tomasz1 polacik@us.edu.pl
Source: Logic Journal of the IGPL. Aug2008, Vol. 16 Issue 4, p335-355. 21p.
Database: Business Source Ultimate
Description
ISSN:13670751
DOI:10.1093/jigpal/jzn011