Index of /tcs-auth/proceedings/M4M

	Name	Last modified	Size	Description
	Parent Directory		-
	0 - complete.pdf	2005-11-30 12:08	10M
	1 - Temporal_Logics_for_Non-Regular Properties - Model_Checking.pdf	2005-11-16 10:03	167K
	2 - Is_Tractable_Reasoning_in_Extensions_ of_the_Description_Logic_'EL'_Useful_in_Practice.pdf	2005-11-09 20:49	251K
	3 - Query_Answering_Based_on_Modal_Correspondence_Theory.pdf	2005-11-09 20:40	250K
	4 - A_tableau-based_deceision_procedure_for_a_branching-time_interval_temporal_logic.pdf	2005-11-09 20:36	167K
	5 - Verifying_qualitative_and_quantitative_properties_with_LTL_over_concrete_domains.pdf	2005-11-09 20:47	125K
	6 - Complexity_of_Hybrid_Logics_over_Transitive_Frames.pdf	2005-11-09 20:46	275K
	7 - Two_Tableau-Based_Decision_Procedures_for_Hybrid_Logic.pdf	2005-11-09 20:41	262K
	8 - Hybrid_Logic_with_opreations_on_nominals.pdf	2005-11-09 20:46	196K
	9 - A_Modal_View_on_Polder_Politics.pdf	2005-11-09 14:15	235K
	10 - Cut-Free_Axiomatizations_for_Stratified_Modal_Fixed_Point_Logic.pdf	2005-11-09 20:42	236K
	11 - Natural_deduction_for_belief_'at_most'.pdf	2005-11-09 20:44	344K
	12 - Modal_logic_and_navigational_XPath_an_experimental_comparison.pdf	2005-11-09 20:45	143K
	13 - ATEL_with_Common_and_Distributed_Knowledge_is_ExpTime-Complete.pdf	2005-11-09 20:50	177K
	14 - Automatic_proof_search_in_logic_of_justified_common_knowledge.pdf	2005-11-09 20:50	252K
	15 - A_Completeness_Result_for_BAN_Logic.pdf	2005-11-16 23:49	258K
	16 - Extensions_of_Tableau_calculi_for_preference-based_conditional_logics.pdf	2005-11-09 20:48	135K
	17 - KLMLean_1.0_a_Theorem_Prover_for_Logics_of_Default_Reasoning.pdf	2005-11-09 20:43	266K
	18 - Description_Logics_and_Disjunctive_Datalog_-_More_Than_just_a_Fleeting_Resemblance.pdf	2005-11-16 10:03	229K
	19 - Theory_and_practice_of_theorem_proving_for_monodic_first-order_temporal_logic.pdf	2005-11-22 14:11	40K
	20 - The_Typechecking_Problem_for_XML_Transformations_Methods_and_Formal_Models.pdf	2005-11-09 20:53	231K
	21 - Timed_Modal_Logics_for_Specifying_and_Verifying_Real-Time-Systems.pdf	2005-11-09 20:53	193K