Tag modal_logic [32 articles] Export

Recent papers classified by the tag modal_logic.

	From worlds to possibilities [My Copy] Journal of Philosophical Logic, Vol. 10, No. 3. (1 August 1981), pp. 313-339. by I. L. Humberstone posted to modality modal_logic metaphysics logic inquiry by perezcarballo on 2009-08-19 15:51:24 as along with 1 person pirapira
	A New Semantics for Positive Modal Logic [My Copy] Notre Dame Journal of Formal Logic, Vol. 38, No. 1. (1997), pp. 1-18. by S. Celani, R. Jansana posted to _copy frame kripke modal_logic semantics by adrian_pigors on 2009-02-17 11:31:02 as
	Cylindric modal logic [My Copy] J. Symb. Logic, Vol. 60, No. 2. (1995), pp. 591-623. by Yde Venema posted to modal_logic by christiankissig on 2008-10-29 13:43:36 as
	Simulating without negation [My Copy] J. Logic Comput., Vol. 7, No. 4. (1997), pp. 501-522. by Natasha Kurtonina, Maarten de Rijke posted to bisimulation _copy modal_logic negation substructural_logics by adrian_pigors on 2008-07-02 11:09:51 as
	Combining possibilities and negations [My Copy] Studia Logica, Vol. 59, No. 1. (1997), pp. 121-141. by Greg Restall posted to _copy frame logic modal_logic negation by adrian_pigors on 2008-07-02 10:11:07 as
	A Dual Characterization of Subdirectly Irreducible BAOs [My Copy] Studia Logica, Vol. 77, No. 1., 105. by Yde Venema posted to boolean_algebras modal_logic by christiankissig on 2008-07-01 16:45:03 as
	The Philosophy of Philosophy [My Copy] (28 January 2008) by Timothy Williamson posted to conditionals counterfactuals epistemology gettier intuitions metaphysics modality modal_logic philosophy thought_experiments by dutant on 2008-06-07 14:58:58 as along with 2 people cirdan julianjonker
	The formalization of interpretability [My Copy] Studia Logica, Vol. 50, No. 1. (1991), pp. 81-105. by Albert Visser posted to _copy _dipl interpretability logic modal_logic by adrian_pigors on 2008-04-29 10:55:39 as
	An overview of interpretability logic [My Copy] In Advances in modal logic, Vol.\ 1 (Berlin, 1996), Vol. 87 (1998), pp. 307-359. by Albert Visser posted to _copy _dipl interpretability logic modal_logic provability by adrian_pigors on 2008-04-29 10:43:55 as
	A coalgebraic view on positive modal logic [My Copy] Theoret. Comput. Sci., Vol. 327, No. 1-2. (2004), pp. 175-195. by Alessandra Palmigiano posted to coalgebra kripke modal_logic semantics by adrian_pigors on 2008-02-19 11:54:05 as
	Positive modal logic [My Copy] Studia Logica, Vol. 55, No. 2. (1995), pp. 301-317. by Michael J. Dunn posted to kripke modal_logic semantics by adrian_pigors on 2008-02-19 11:46:09 as
	The knower paradox revisited [My Copy] Philos. Stud., Vol. 98, No. 2. (2000), pp. 221-231. by Byeong D. Lee posted to _copy modal_logic paradox by adrian_pigors on 2008-02-05 15:15:51 as
	Formal systems for modal operators on locales [My Copy] Studia Logica, Vol. 52, No. 4. (1993), pp. 595-613. by Gonzalo E. Reyes, Marek W. Zawadowski posted to _copy locale modal_logic modal_operator by adrian_pigors on 2008-02-05 14:28:40 as
	Inconsistency-tolerant description logic: motivation and basic systems [My Copy] In Trends in logic, Vol. 21 (2003), pp. 301-335. by Serguei P. Odintsov, Heinrich Wansing posted to _copy description_logics modal_logic paraconsistent_logic by adrian_pigors on 2008-02-05 13:39:09 as
	Erd\H os graphs resolve Fine's canonicity problem [My Copy] Bull. Symbolic Logic, Vol. 10, No. 2. (2004), pp. 186-208. by Robert Goldblatt, Ian Hodkinson, Yde Venema posted to bao canonical_extension _copy modal_logic by adrian_pigors on 2008-02-05 13:33:59 as
	$My PDF rö\ssiger_00_coalgebras.pdf$ Coalgebras and modal logic [My Copy] In CMCS'2000: coalgebraic methods in computer science (Berlin), Vol. 33 (2000) by Martin Rö\ssiger posted to coalgebra _copy kripke modal_logic _priv by adrian_pigors on 2008-02-05 12:10:05 as
	Information transfer across Chu spaces [My Copy] Log. J. IGPL, Vol. 8, No. 6. (2000), pp. 719-731. by Johan van Benthem posted to chu_space chu_transform _copy frame modal_logic morphism by adrian_pigors on 2007-12-13 10:16:20 as
	Categorical and Kripke semantics for constructive S4 modal logic [My Copy] In Computer science logic (Paris, 2001), Vol. 2142 (2001), pp. 292-307. by Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter posted to categorical_logic _copy kripke modal_logic by adrian_pigors on 2007-12-13 10:03:50 as
	Mathematical modal logic: A view of its evolution [My Copy] Journal of Applied Logic, Vol. 1, No. 5. (October 2003), pp. 309-392. by R. Goldblatt posted to modal_logic by rzach on 2007-11-26 16:47:09 as along with 4 people recordmymind greg_restall dakvid GIGGLA
	Contingent Objects and the Barcan Formula [My Copy] Erkenntnis, Vol. 64, No. 1. (January 2006), pp. 75-83. by Reina Hayaki posted to metaphysics modality modal_logic possibilism williamson by cirdan on 2007-11-24 21:43:56 as
	A reconstruction of Aristotle's modal syllogistic [My Copy] History and Philosophy of Logic, Vol. 27, No. 2. (May 2006), pp. 95-141. by Malink, Marko posted to aristotle modal_logic by cirdan on 2007-11-10 19:43:01 as
	Modal operators on ordered sets [My Copy] Acta Univ. Palack. Olomuc. Fac. Rerum Natur. Math., Vol. 24 (1985), pp. 9-14. by Jirí Rachunek posted to modal_logic order_theory _priv _vme by adrian_pigors on 2007-10-11 09:30:35 as
	Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic [My Copy] Log. J. IGPL, Vol. 7, No. 6. (1999), pp. 683-715. by Sergio Celani, Ramon Jansana posted to _copy duality kripke lattice modal_logic semantics by adrian_pigors on 2007-10-08 14:27:53 as
	Completions of algebras and completeness of modal and substructural logics [My Copy] In Advances in modal logic. Vol. 4 (2003), pp. 335-353. by Hiroakira Ono posted to completion _copy cut_elimination macneille modal_logic substructural_logics by adrian_pigors on 2007-10-08 14:04:31 as
	Evidentiality, modality and probability [My Copy] Linguistics and Philosophy, Vol. 30, No. 2. (15 April 2007), pp. 147-206. by Eric Mccready, Norry Ogata posted to evidentials language modality modal_logic modals probability by dutant on 2007-08-20 04:32:49 as along with 3 people and 1 group toso garyfeng rooth ReadingLab
	Axiomatizing collective judgment sets in a minimal logical language [My Copy] Synthese, Vol. 158, No. 2. (2007), pp. 233-250. by Marc Pauly posted to judgement_aggregation logic modal_logic by dutant on 2007-08-16 23:35:00 as
	Reducing reductionism: on a putative proof for Extreme Haecceitism [My Copy] Philosophical Studies by Troy Catterson posted to essentialism identity kripke modal_logic salmon trans_world_identity by cirdan on 2007-07-24 22:45:02 as
	A New Introduction to Modal Logic [My Copy] (12 September 1996) by G. E. Hughes, M. J. Cresswell posted to book modal_logic by CLLC on 2006-03-28 05:09:01 as along with 1 person pirapira
	Logics of Time and Computation [My Copy] (01 September 1992) by Robert Goldblatt posted to book modal_logic by CLLC on 2006-03-28 05:06:31 as along with 1 person pirapira
	A modal proof theory for final polynomial coalgebras [My Copy] Theoretical Computer Science, Vol. In Press, Corrected Proof by David Friggens, Robert Goldblatt posted to bisimilarity coalgebra final_coalgebra modal_logic polynomial_functor by CLLC on 2006-03-28 04:55:30 as
	Mathematical modal logic: A view of its evolution [My Copy] Journal of Applied Logic, Vol. 1, No. 5-6. (October 2003), pp. 309-392. by Robert Goldblatt posted to boolean_algebra history_of_logic kripke_semantics modal_logic by CLLC on 2006-03-27 10:38:18 as along with 2 people pirapira michaelbanks
	Intelligent Agents: Theory and Practice [My Copy] Vol. 10, No. 2. (1994), pp. 115-152. by Michael Wooldridge, Nicholas R. Jennings posted to agents modal_logic possible_worlds by sccook on 2005-01-31 13:08:03 as along with 15 people and 6 groups cedricboidin benoithv harald stavros jounih pverstra paulclinger scis0000001 rgb mzygmunt remipannequin DaveWebster djp1540 bobstark arasbm StFX Centre for Logic and Information CLIC logical_cognition macc pileWorks Holonic_Tracilog_Team

Note: You may cite this page as: http://www.citeulike.org/tag/modal_logic

_copy	17
kripke	8
frame	5
logic	5
semantics	5
modality	4
coalgebra	3
metaphysics	3
negation	3
_dipl	2
_priv	2
book	2
bounded_morphism	2
canonical_extension	2
category_theory	2
interpretability	2
substructural_logics	2
_vme	1
agents	1
aristotle	1
bao	1
bisimilarity	1
bisimulation	1
boolean_algebra	1
boolean_algebras	1
categorical_logic	1
chu_space	1
chu_transform	1
completion	1
conditionals	1
counterfactuals	1
cut_elimination	1
description_logics	1
duality	1
epistemology	1
equivalence	1
essentialism	1
evidentials	1
final_coalgebra	1
gettier	1
history_of_logic	1
identity	1
inquiry	1
intuitions	1
judgement_aggregation	1
kripke_semantics	1
language	1
lattice	1
locale	1
macneille	1
modal_operator	1
modals	1
morphism	1
order_theory	1
paraconsistent_logic	1
paradox	1
philosophy	1
polynomial_functor	1
possibilism	1
possible_worlds	1
probability	1
provability	1
relation	1
sahlqvist	1
salmon	1
thought_experiments	1
trans_world_identity	1
williamson	1

Tag modal_logic [32 articles] Export

Related Tags