Search Results

Modal Operators over Constructive Logic

Author: Sherkhonov, Evgeny Yu.

Source: Journal of Logic and Computation, Volume 18, Number 6, 27 December 2008 , pp. 815-829(15)

Publisher: Oxford University Press

A New Modal Lindström Theorem

Author: Benthem, Johan

Source: Logica Universalis, Volume 1, Number 1, January 2007 , pp. 125-138(14)

Publisher: Springer

Notes on Logics of Metric Spaces

Author: Kutz, Oliver

Source: Studia Logica, Volume 85, Number 1, February 2007 , pp. 75-104(30)

Publisher: Springer

Multi-modal nonmonotonic logics of minimal knowledge

Author: Rosati, Riccardo

Source: Annals of Mathematics and Artificial Intelligence, Volume 48, Numbers 3-4, December 2006 , pp. 169-185(17)

Publisher: Springer

Pure Extensions, Proof Rules, and Hybrid Axiomatics

Authors: Blackburn, P.; Cate, B.

Source: Studia Logica, Volume 84, Number 2, November 2006 , pp. 277-322(46)

Publisher: Springer

First-Order Classical Modal Logic

Authors: Arló-Costa, Horacio; Pacuit, Eric

Source: Studia Logica, Volume 84, Number 2, November 2006 , pp. 171-210(40)

Publisher: Springer

Crossroads of Logic and Ontology: A Modal-combinatorial Analysis of Why There is Something Rather Than Nothing

Author: Jacquette, Dale

Source: Poznan Studies in the Philosophy of the Sciences and the Humanities, Essays in Logic and Ontology. Edited by Jacek Malinowski and Andrzej Pietruszczak , pp. 17-46(30)

Publisher: Rodopi

An Outline of the Anselmian Theory of God

Authors: Jarmużek, Tomasz; Nowicki, Maciej; Pietruszczak, Andrzej

Source: Poznan Studies in the Philosophy of the Sciences and the Humanities, Essays in Logic and Ontology. Edited by Jacek Malinowski and Andrzej Pietruszczak , pp. 317-330(14)

Publisher: Rodopi

Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA

Authors: Conradie, Willem; Goranko, Valentin; Vakarelov, Dimiter

Source: Journal of Logic and Computation, Volume 16, Number 5, October 2006 , pp. 579-612(34)

Publisher: Oxford University Press

Expressivity of Second Order Propositional Modal Logic

Author: Cate, Balder

Source: Journal of Philosophical Logic, Volume 35, Number 2, April 2006 , pp. 209-223(15)

Publisher: Springer

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

Author: McKeon, M.

Source: Journal of Philosophical Logic, Volume 34, Number 3, June 2005 , pp. 305-326(22)

Publisher: Springer

Deciding Regular Grammar Logics with Converse Through First-Order Logic

Authors: Demri, Stéphane; Nivelle, Hans

Source: Journal of Logic, Language and Information, Volume 14, Number 3, June 2005 , pp. 289-329(41)

Publisher: Springer

An Application of Logic Engineering

Authors: Veloso, Sheila R. M.; Veloso, Paulo A. S.; de Freitas, Renata P.

Source: Logic Journal of the IGPL, Volume 13, Number 1, January 2005 , pp. 29-46(18)

Publisher: Oxford University Press

A Theory of Local Set Queries

Authors: Schewe, Klaus-Dieter; Turull Torres, José María

Source: Logic Journal of the IGPL, Volume 13, Number 1, January 2005 , pp. 47-68(22)

Publisher: Oxford University Press

Natural Deduction for First-Order Hybrid Logic

Author: BraÜner, Torben

Source: Journal of Logic, Language and Information, Volume 14, Number 2, March 2005 , pp. 173-198(26)

Publisher: Springer

The Knower Paradox in the Light of Provability Interpretations of Modal Logic

Author: Égré Paul

Source: Journal of Logic, Language and Information, Volume 14, Number 1, December 2005 , pp. 13-48(36)

Publisher: Springer

The Resolution Method for One Reducible Class of Formulas of the First-Order Modal Logic S4

Author: Norgela, S.

Source: Lithuanian Mathematical Journal, Volume 44, Number 4, October 2004 , pp. 386-394(9)

Publisher: Springer

The Knower Paradox in the light of provability interpretations of modal logic

Author: Égré Paul

Source: Journal of Logic, Language and Information, Volume 14, Number 1, December 2004 , pp. 13-48(36)

Publisher: Springer

Propositions as [Types]

Authors: Valeria de Paiva; Rajeev Goré; Michael Mendler; Steven Awodey; Andrej Bauer

Source: Journal of Logic and Computation, Volume 14, Number 4, August 2004 , pp. 447-471(25)

Publisher: Oxford University Press

Dialgebraic Logics - Extended Abstract

Author: Reichel H.

Source: Electronic Notes in Theoretical Computer Science, Volume 11, Number 1, January 2004 , pp. 1-9(9)

Publisher: Elsevier