First-Order Classical Modal Logic

ISSN： 0039-3215

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

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

A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic

By McKeon M.

Journal of Philosophical Logic, Vol. 34, Iss. 3, 2005-06 ,pp. : 305-326

Springer Publishing Company

Access to resources Recommend Favorite

First Order Extensions of Classical Systems of Modal Logic; The role of the Barcan schemas

By Costa H.A.

Studia Logica, Vol. 71, Iss. 1, 2002-06 ,pp. : 87-118

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

IF Modal Logic and Classical Negation

By Tulenheimo Tero

Studia Logica, Vol. 102, Iss. 1, 2014-02 ,pp. : 41-66

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