Modal Deduction in Second-Order Logic and Set Theory - II

By van Benthem J.   D'Agostino G.   Montanari A.   Policriti A.  

Studia Logica, Vol. 60, Iss. 3, 1998-05 ,pp. : 387-420

Springer Publishing Company

Access to resources Recommend Favorite

Peirce's Search for a Graphical Modal Logic (Propositional Part)

By Ramharter Esther   Gottschall Christian  

History and Philosophy of Logic, Vol. 32, Iss. 2, 2011-05 ,pp. : 153-176

Taylor & Francis Ltd

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

A Defense of Second-Order Logic

By Bueno Otávio  

Axiomathes, Vol. 20, Iss. 2-3, 2010-09 ,pp. : 365-383

Springer Publishing Company

Access to resources Recommend Favorite

First-order Expressivity for S5-models: Modal vs. Two-sorted Languages

By Sturm H.   Wolter F.  

Journal of Philosophical Logic, Vol. 30, Iss. 6, 2001-12 ,pp. : 571-591

Springer Publishing Company

Access to resources Recommend Favorite