CLLC's modal_logic [6 articles] Export

Recent papers added to CLLC's library classified by the tag modal_logic. You can also see everyone's modal_logic.

	Mathematical Modal Logic: A View of its Evolution [My Copy] Handbook of the History of Logic, Volume 7: Logic and the Modalities in the Twentieth Century In Handbook of the History of Logic, Volume 7: Logic and the Modalities in the Twentieth Century (2006) by Robert Goldblatt edited by Dov M. Gabbay, John Woods posted to boolean_algebra history_of_logic kripke_semantics modal_logic by CLLC on 2006-05-07 03:47:55 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
	A Modal Proof Theory for Polynomial Coalgebras [My Copy] (2004) by David Friggens posted to coalgebra final_coalgebra modal_logic polynomial_functor thesis-msc by CLLC on 2006-03-28 03:21:12 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

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

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

coalgebra	10
modal_logic	6
parameterized_complexity	6
relevant_logic	6
book	5
computably_enumerable_reals	5
kolmogorov_complexity	5
lock-free	5
thesis-msc	5
boolean_algebra	4
computably_enumerable	4
nonblocking	4
polynomial_functor	4
refinement_calculus	4
thesis-phd	4
comonad	3
covariety	3
logic	3
proof_theory	3
randomness	3
simulation	3
verification	3
algorithms	2
bisimilarity	2
bisimulation	2
concurrency	2
dcas	2
editorial	2
ershov_hierarchy	2
final_coalgebra	2
history_of_logic	2
kripke_semantics	2
meaning	2
natural_deduction	2
real	2
refinement	2
schnorr_randomness	2
software_development	2
software_maintenance	2
software_reusability	2
1-generic_sets	1
64bit	1
abstract_logic	1
algorithmic_information_theory	1
automorphism	1
belief_revision	1
cas	1
coequation	1
coinductive	1
computability	1
computable_linear_order	1
computational_complexity	1
congruence	1
constructive_logic	1
cubic_algebras	1
difference_set	1
dushnikmiller	1
filters	1
final_object	1
formal_specification	1
herrmann_sets	1
intervals	1
intuitionistic_logic	1
io_automata	1
irredundant_sets	1
kraftchaitin	1
kurtz_randomness	1
lambda_calculus	1
linearisability	1
linked_lists	1
llsc	1
logic_programming	1
lowness	1
martingale	1
memory_management	1
multiprocessors	1
nonstandard_analysis	1
observable_formula	1
paraconsistent_logic	1
prefix-free	1
presentation	1
presentations	1
queue	1
reducibility	1
relative_randomness	1
self-embedding	1
set_theory	1
solovay_reducibility	1
trees	1
turing_degrees	1
turing_machines	1
ultraproduct	1
variety	1
wtt-degrees	1
z	1

CLLC's modal_logic [6 articles] Export

CLLC's tags