Tag modal-logic [100 articles] Export

Recent papers classified by the tag modal-logic.

	Answer Set Programming and S4 [My Copy] Advances in Artificial Intelligence – IBERAMIA 2004 (2004), pp. 353-363. by Mauricio Osorio, Juan A. Navarro posted to modal-logic answer-set-programming by baisemain on 2009-11-29 14:57:39 as
	Modal Logics of Reactive Frames [My Copy] Studia Logica by Dov Gabbay, Sérgio Marcelino posted to modal-logic kripke-semantics by kozima on 2009-11-24 14:09:22 as
	First-order intensional logic [My Copy] Annals of Pure and Applied Logic, Vol. 127, No. 1-3. (June 2004), pp. 171-193. by M. Fitting posted to quantification philosophy modal-logic by kozima on 2009-11-12 02:47:00 as
	Counterparts of Persons and Their Bodies [My Copy] The Journal of Philosophy, Vol. 68, No. 7. (1971), pp. 203-211. by David Lewis posted to philosophy modal-logic by kozima on 2009-11-06 00:33:53 as
	Run-time code generation and modal-ML [My Copy] In PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, Vol. 33, No. 5. (May 1998), pp. 224-235. by Philip Wickline, Peter Lee, Frank Pfenning posted to stage-calculus specialization modal-logic by msakai on 2009-11-06 00:00:41 as along with 1 person magr
	Counterpart Theory and Quantified Modal Logic [My Copy] The Journal of Philosophy, Vol. 65, No. 5. (1968), pp. 113-126. by David K. Lewis posted to quantification philosophy modal-logic by kozima on 2009-11-03 07:26:46 as
	An Order-Sorted Quantified Modal Logic for Meta-ontology [My Copy] Automated Reasoning with Analytic Tableaux and Related Methods (2005), pp. 169-184. by Ken Kaneiwa, Riichiro Mizoguchi posted to reasoning quantification order modal-logic meta-ontology logic by dokooh on 2009-10-27 09:21:43 as
	Intuitionistic hybrid logic [My Copy] Journal of Applied Logic, Vol. 4, No. 3. (September 2006), pp. 231-255. by T. Brauner, V. Depaiva posted to modal-logic hybrid-logic by robertjohnsimmons on 2009-10-13 19:00:42 as along with 1 person kozima
	Celf – A Logical Framework for Deductive and Concurrent Systems (System Description) [My Copy] Automated Reasoning (2008), pp. 320-326. by Anders Schack-Nielsen, Carsten Schürmann posted to modal-logic logical-frameworks linear-logic concurrency clf by robertjohnsimmons on 2009-10-09 15:13:39 as
	Using modal logics to express and check global graph properties [My Copy] Logic Jnl IGPL, Vol. 17, No. 5. (1 October 2009), pp. 509-537. by Mario R. F. Benevides, L. Menasche Schechter posted to modal-logic complexity by kozima on 2009-09-30 15:18:02 as
	Logics of Kripke meta-models [My Copy] Logic Jnl IGPL (3 September 2009), jzp047. by Sergey Babenyshev, Vladimir Rybakov posted to substructural-logic modal-logic kripke-semantics by kozima on 2009-09-14 14:42:04 as
	Propositional Lax Logic [My Copy] Information and Computation, Vol. 137, No. 1. (25 August 1997), pp. 1-33. by M. Fairtlough posted to modal-logic lax-logic classical-logic by robertjohnsimmons on 2009-09-10 15:21:00 as along with 1 person kozima
	Type-Safe Distributed Programming with ML5 [My Copy] Trustworthy Global Computing (2008), pp. 108-123. by Tom Murphy VII, Karl Crary, Robert Harper posted to modal-logic distributed-programming by robertjohnsimmons to the group ConcertRG on 2009-09-09 06:57:52 as
	First-Order Modal Logic (Synthese Library) [My Copy] (01 October 1998) by M. Fitting, Richard L. Mendelsohn posted to philosophy modal-logic by kozima on 2009-08-25 09:45:31 as
	A judgmental reconstruction of modal logic [My Copy] Mathematical Structures in Computer Science, Vol. 11, No. 04. (2001), pp. 511-540. by Frank Pfenning, Rowan Davies posted to modal-logic by hdeyoung on 2009-08-24 01:45:02 as along with 1 person and 1 group robertjohnsimmons ConcertRG
	Monadic concurrent linear logic programming [My Copy] In PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming (2005), pp. 35-46. by Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins posted to rg-2006 modal-logic lollimon logical-frameworks logic-programming linear-logic forward-chaining backward-chaining by robertjohnsimmons to the group ConcertRG on 2009-08-17 20:01:45 as along with 3 people hdeyoung darinm tautologico
	Contextual modal type theory [My Copy] ACM Trans. Comput. Logic, Vol. 9, No. 3. (2008), pp. 1-49. by Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka posted to rg-2005 proof-theory modal-logic explicit-substitutions dependent-types by robertjohnsimmons to the group ConcertRG on 2009-08-17 13:33:19 as
	Topological duality for intuitionistic modal algebras [My Copy] Journal of Pure and Applied Algebra, Vol. 148, No. 2. (28 April 2000), pp. 171-189. by B. Hilken posted to duality modal-logic by kozima on 2009-08-06 07:23:29 as
	A Linear Logic of Authorization and Knowledge [My Copy] Computer Security – ESORICS 2006 (2006), pp. 297-312. by Deepak Garg, Lujo Bauer, Kevin Bowers, Frank Pfenning, Michael Reiter posted to authorization-logic linear-logic modal-logic security by robertjohnsimmons on 2009-07-22 21:18:53 as
	A Simplified Embedding of E into Monomodal K [My Copy] Logic Jnl IGPL (9 July 2009), jzp024. by Rohan French posted to modal-logic by kozima on 2009-07-15 15:47:32 as
	Modal theorem proving [My Copy] In Proc. of the 8th international conference on Automated deduction (1986), pp. 172-189. by M. Abadi, Z. Manna posted to modal-logic nonclausal-resolution resolution skolemization weanreview by robertjohnsimmons on 2009-07-02 19:56:54 as
	Multimodal Linguistic Inference [My Copy] Logic Jnl IGPL, Vol. 3, No. 2-3. (1 June 1995), pp. 371-401. by Michael Moortgat posted to categorial-logic linguistics modal-logic by robertjohnsimmons on 2009-06-30 22:55:49 as
	Structural control [My Copy] In Specifying syntactic structures (1997), pp. 75-113. by Natasha Kurtonina, Michael Moortgat edited by Patrick Blackburn, Maarten de Rijke posted to categorial-logic display-logic linear-logic modal-logic substructural-logic weanreview by robertjohnsimmons on 2009-06-30 15:41:37 as
	Categorical and Kripke Semantics for Constructive S4 Modal Logic [My Copy] In Proceedings 15th Int.\ Workshop on Computer Science Logic, CSL'01, Paris, France, 10--13 Sept.\ 2001, Vol. 2142 (2001), pp. 292-307. by Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter edited by L. Fribourg posted to categorical-semantics constructive-logic constructive-modal-logic intuitionistic-logic intuitionistic-modal-logic kripke-semantics modal-logic modalities multimodal by Scis0000002 on 2009-06-21 16:57:14 as along with 2 people vcvpaiva kozima
	Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning) [My Copy] (25 December 2006) posted to modal-logic by kozima on 2009-05-29 07:26:50 as
	Distributed Control Flow with Classical Modal Logic [My Copy] In 14th Annual Conference of the European Association for Computer Science Logic (CSL 2005), Lecture Notes in Computer Science (2005) by Tom M. Vii, Karl Crary, Robert Harper posted to distributed-computation modal-logic type-system by kozima on 2009-05-28 03:29:39 as
	A Symmetric Modal Lambda Calculus for Distributed Computing [My Copy] Logic in Computer Science, Symposium on In Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on, Vol. 0 (2004), pp. 286-295. by V. Tom Murphy, Karl Crary, Robert Harper, Frank Pfenning posted to distributed-computation lambda-calculi modal-logic type-system by kozima on 2009-04-14 01:52:28 as along with 2 people and 1 group pirapira robertjohnsimmons ConcertRG
	Computational Types from a Logical Perspective [My Copy] Journal of Functional Programming, Vol. 8, No. 2. (1998), pp. 177-193. by P. N. Benton, Gavin Bierman, Valeria de Paiva posted to lambda-calculi modal-logic monads by kozima on 2009-03-30 03:55:10 as along with 2 people vcvpaiva jsala
	Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic [My Copy] Logic and Its Applications In Logic and Its Applications (2009), pp. 170-184. by Yoshihiro Maruyama posted to algebra many-valued-logic modal-logic by kozima on 2009-03-25 02:47:15 as
	An algebraic generalization of Kripke structures [My Copy] ArXiv e-prints, Vol. 704 (April 2007) by S. Marcelino, P. Resende posted to algebra kripke-semantics modal-logic by kozima on 2009-03-24 02:03:29 as along with 1 person Scis0000002
	A framework for intuitionistic modal logics: extended abstract [My Copy] In TARK '86: Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge (1986), pp. 399-406. by Gordon Plotkin, Colin Stirling posted to modal-logic by kozima on 2008-12-26 00:17:09 as
	A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness [My Copy] The Journal of Symbolic Logic, Vol. 54, No. 3. (1989), pp. 992-999. by G. Sambin, V. Vaccaro posted to modal-logic by kozima on 2008-11-07 01:48:47 as
	Resolution Method for Modal Logic with Well-Founded Frames [My Copy] Computer Science Logic (1999), pp. 825-825. by Shigeki Hagihara, Naoki Yonezaki posted to modal-logic by msakai on 2008-10-18 07:29:51 as
	Modal Logic [My Copy] (15 November 2002) by Patrick Blackburn, Maarten de Rijke, Yde Venema posted to modal-logic by kozima on 2008-10-05 09:13:19 as along with 3 people mperalta terumiyake shenshei
	Modal companions of intermediate propositional logics [My Copy] Studia Logica, Vol. 51, No. 1. (1 March 1992), pp. 49-82. by Alexander Chagrov, Michael Zakharyashchev posted to modal-logic by kozima on 2008-09-29 03:11:21 as
	A judgmental reconstruction of modal logic [My Copy] Mathematical Structures in Computer Science, Vol. 11, No. 4. (2001), pp. 511-540. by Frank Pfenning, Rowan Davies posted to judgments modal-logic by darinm on 2008-09-26 00:57:01 as along with 1 person kozima
	Intuitionistic modal logics as fragments of classical bimodal logics [My Copy] In Logic at Work (1997), pp. 168-186. by Frank Wolter, Michael Zakharyaschev posted to kripke-semantics modal-logic by kozima on 2008-09-24 08:33:04 as
	On the relation between intuitionistic and classical modal logics [My Copy] Algebra and Logic, Vol. 36 (1997), pp. 73-92. by Frank Wolter, Michael Zakharyaschev posted to kripke-semantics modal-logic by kozima on 2008-09-24 08:20:54 as
	Modal logics for communicating systems [My Copy] Theor. Comput. Sci., Vol. 49, No. 2-3. (1987), pp. 311-347. by C. Stirling posted to modal-logic by kozima on 2008-05-29 12:34:32 as
	On an Intuitionistic Modal Logic [My Copy] Studia Logica, Vol. 65, No. 3. (2000), pp. 383-416. by G. M. Bierman, V. C. V. de Paiva posted to category modal-logic by kozima on 2008-05-25 03:11:37 as along with 1 person and 1 group glaubersp complogic
	Logical modalities and multi-stage programming [My Copy] (1999) by Z. Benaissa, E. Moggi, W. Taha, T. Sheard posted to category lambda-calculi modal-logic temporal-logic by kozima on 2008-05-21 07:03:04 as
	Coalgebras and modal logic [My Copy] (2000) by M. Iger posted to coalgebra coalgebras modal-logic by Scis0000002 on 2008-05-05 23:14:49 as
	On the Geometry of Intuitionistic S4 Proofs [My Copy] Homology, Homotopy and Applications, Vol. 5, No. 2. (2003), pp. 137-209. by J. Goubault-Larrecq, E. Goubault edited by Gunnar Carlsson posted to lambda-calculi modal-logic by kozima on 2008-04-19 06:12:27 as along with 2 people jrw dmitri83
	Modal and temporal logics [My Copy] (1992), pp. 477-563. by Colin Stirling posted to modal-logic temporal-logic by kozima on 2008-04-05 07:12:45 as
	A computational interpretation of modal proofs [My Copy] In Proof Theory of Modal Logics (1995) by S. Martini, A. Masini edited by H. Wansing posted to lambda-calculi modal-logic by kozima on 2008-04-04 15:03:49 as
	The modal logic of forcing [My Copy] (27 Sep 2005) by Joel D. Hamkins, Benedikt Loewe posted to modal-logic by dmitri83 on 2008-03-12 15:17:45 as
	Canonical varieties with no canonical axiomatisation [My Copy] (2003) by I. Hodkinson, Y. Venema posted to modal-logic by dmitri83 on 2008-03-12 15:16:49 as
	Worlds Away [My Copy] The Journal of Philosophy, Vol. 73, No. 22. (1976), pp. 859-863. by W. V. Quine posted to logic metaphysics modal-logic objects technical time by DannyLayman on 2008-01-04 23:08:20 as
	Topos-Theoretic Extension of a Modal Interpretation of Quantum Mechanics [My Copy] (14 Nov 2007) by Kunji Nakayama posted to constructive-logic intuitionistic-logic mechanics modal-logic qm quantum-logic topos-theory wave-equations by Scis0000002 on 2008-01-04 13:26:44 as along with 1 person prydzews
	It Ain't Necessarily So [My Copy] The Journal of Philosophy, Vol. 59, No. 22. (1962), pp. 658-671. by Hilary Putnam posted to modal-logic by benoitstpierre on 2007-12-18 14:56:14 as

Note: You may cite this page as: http://www.citeulike.org/tag/modal-logic

Result page: 1 2 Next

lambda-calculi	10
kripke-semantics	8
temporal-logic	8
topology	8
knowledge	5
linear-logic	5
logical-frameworks	4
philosophy	4
constructive-logic	3
effects	3
logic	3
logics	3
meta-level-architectures	3
monads	3
quantification	3
access-control	2
algebra	2
all-possible-worlds	2
backward-chaining	2
categorial-logic	2
category	2
computability-logic	2
dependency	2
dependent-types	2
distributed-computation	2
distributed-programming	2
dynamic-scoping	2
dynamic_logic	2
explicit-substitutions	2
forward-chaining	2
intuitionism	2
intuitionistic-logic	2
judgmental-reconstruction	2
logic-programming	2
lollimon	2
metalanguages	2
neighborhood-semantics	2
proof-theory	2
quantitative	2
rg-2005	2
substructural-logic	2
temporal	2
topos-theory	2
type-system	2
type-theory	2
weanreview	2
world-passing	2
abstract-syntax	1
algebraic-lattice	1
algebraic-topology	1
answer-set-programming	1
category-theory	1
classical-logic	1
clf	1
coalgebra	1
coalgebras	1
computational-mechanics	1
concurrency	1
constructivity	1
display-logic	1
domain-theory	1
expressiveness	1
fibrations	1
fol	1
geometric-logic	1
geometric-theories	1
hardcopy	1
hierarchical-logic	1
hierarchical-metalanguages	1
hierarchy-of-metalanguages	1
hybrid-logic	1
kripke-structures	1
ludics	1
many-valued-logic	1
meta-level-reasoning	1
meta-ontology	1
metaphysics	1
modality	1
model-checking	1
monotonic	1
multi-language-systems	1
multimodal	1
objects	1
order	1
partial-order	1
predicate-logic	1
proof-transformations	1
realizer	1
rg-2006	1
rg-2009	1
security	1
self-referentiality	1
semantics	1
spatial	1
stage-calculus	1
sufficiency	1
technical	1
time	1
tripos-theory	1
wave-equations	1

Tag modal-logic [100 articles] Export

Related Tags