Tag logics [109 articles] Export

Recent papers classified by the tag logics.

	Logicomix: An Epic Search for Truth [My Copy] (29 September 2009) by Apostolos Doxiadis, Christos Papadimitriou posted to logics by fheintz on 2009-10-05 20:23:34 as
	Logic(s) [My Copy] Theory Culture Society, Vol. 23, No. 2-3. (1 May 2006), pp. 87-93. by Bryan S. Turner posted to logics by havis on 2009-08-25 02:29:12 as
	Fusions of Modal Logics Revisited [My Copy] (1996) by Frank Wolter posted to fusions logics modal by dokooh on 2009-08-05 15:35:44 as
	Towards Ludics Programming: Interactive Proof Search [My Copy] Logic Programming (2008), pp. 253-268. by Alexis Saurin posted to logic-programming logics ludics by Scis0000002 on 2009-08-05 07:22:44 as
	Where Do New Organizational Forms Come From? Management Logics as a Source of Coevolution [My Copy] ORGANIZATION SCIENCE, Vol. 10, No. 5. (1 September 1999), pp. 569-582. by Marjolijn S. Dijksterhuis, Frans A. J. Van den Bosch, Henk W. Volberda posted to coevolution come do forms from logics management new organizational source where by derchao on 2009-07-24 02:55:18 as along with 1 person rrbarb
	Managing the Rivalry of Competing Institutional Logics [My Copy] Organization Studies, Vol. 30, No. 6. (1 June 2009), pp. 629-652. by Trish Reay, C. R. Hinings posted to competing institutional logics managing rivalry by derchao on 2009-07-01 07:08:08 as
	On the notion of coexistence in quantum mechanics [My Copy] (20 May 2009) by P. Busch, J. Kiukas, P. Lahti posted to logics by ttylec on 2009-05-23 20:35:24 as
	Bohrification of operator algebras and quantum logic [My Copy] (14 May 2009) by Chris Heunen, Nicolaas P. Landsman, Bas Spitters posted to algebras logics by ttylec on 2009-05-15 22:33:01 as along with 1 person jrw
	Management Research and the New Logics of Discovery and Engagement [My Copy] Journal of Management Studies, Vol. 46, No. 3., pp. 547-558. by Ken Starkey, Armand Hatchuel, Sue Tempest posted to discovery engagement logics management new research by derchao on 2009-05-15 08:34:41 as
	General Philosophy of Science: Focal Issues (Handbook of the Philosophy of Science) [My Copy] (20 August 2007) posted to bottom-up formal-interoperability formal-theories frameworks generalization global global-theories inside little-theories local local-theories logical-frameworks logical-systems logical-theories logics macro-theories metalearning metalogical-frameworks micro-theories multiscale neurophilosophy order-structures outside philosophical-frameworks philosophy-of-science specialization top-down by Scis0000002 on 2009-03-13 09:20:41 as
	The Dominant Logics of Strategy Research [My Copy] The Paradoxical Foundation of Strategic Management In The Paradoxical Foundation of Strategic Management (2008), pp. 69-125. by Andreas Rasche posted to dominant logics research strategy by derchao on 2009-02-16 02:40:48 as
	Laws of Form [My Copy] (22 March 1979) by G. Spencer-Brown posted to 1a-6 logics math by Adso on 2009-02-07 20:31:43 as along with 1 person daveh
	Laws of Form [My Copy] by G. Spencer-Brown posted to 1a-6 constructivism logics by Adso on 2009-02-07 20:30:30 as
	Logic, Programming and Prolog [My Copy] (1995) by Ulf Nilsson, Jan Maluszynski posted to logic-programming logics reference by pajoma on 2008-11-15 17:02:54 as
	A survey of decidable first-order fragments and description logics [My Copy] Journal of Relational Methods in Computer Science, Vol. 1 (2008) by U. Hustadt, R. A. Schmidt, L. Georgieva posted to 2008 decidable first-order logics survey by leonardo on 2008-10-16 14:41:29 as
	Logics of Organization Theory: Audiences, Codes, and Ecologies [My Copy] (02 July 2007) by Michael T. Hannan, Laszlo Polos, Glenn R. Carroll posted to ecology logics organization organizational theory by derchao on 2008-08-31 20:14:32 as along with 2 people rrbarb jklugman
	Formal semantics in the age of pragmatics [My Copy] Linguistics and Philosophy by Juan Barba posted to ai logics by fheintz on 2008-07-25 11:48:10 as
	Stewart Shapiro (ed.), The Limits of Higher-Order Logic and the Löwenheim-Skolem Theorem [My Copy] Erkenntnis, Vol. 49, No. 3. (1 November 1998), pp. 393-396. by Jan Woleński posted to higher-order logics skolem-loewenheim-theorem by Scis0000002 on 2008-07-18 12:22:16 as
	Logical models of argument [My Copy] ACM Comput. Surv., Vol. 32, No. 4. (December 2000), pp. 337-383. by Carlos I. Chesñevar, Ana G. Maguitman, Ronald P. Loui posted to argumentation logics by mccasalini on 2008-04-24 13:23:05 as along with 4 people and 1 group fiacobelli y-gotoh yijunyu sdehousse IMRU
	Godel's Proof [My Copy] (01 October 2001) by Ernest Nagel, James R. Newman posted to language logics by Adso on 2008-04-18 21:55:20 as along with 2 people michaelbanks NitinCR
	Simple and Minimum-Cost Satisfiability for Goal Models [My Copy] Advanced Information Systems Engineering (2004), pp. 20-35. by Roberto Sebastiani, Paolo Giorgini, John Mylopoulos posted to goal logics by birukou on 2008-04-15 22:15:52 as
	Formal Reasoning Techniques for Goal Models [My Copy] Journal on Data Semantics (2003), pp. 1-20. by Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani posted to goals logics tropos by birukou on 2008-04-15 22:00:09 as
	On the Declarative and Procedural Semantics of Logic Programs [My Copy] Journal of Automated Reasoning, Vol. 5, No. 2. (1989), pp. 167-205. by Teodor C. Przymusinski posted to logics minimal models perfect by marwane on 2008-04-03 13:34:38 as
	A beginner's guide to forcing [My Copy] (8 May 2008) by Timothy Y. Chow posted to logics by jedal on 2008-03-24 22:56:05 as along with 8 people and 1 group JoseBrox pirapira jrw qwermish ansobol dmitri83 archernikov teesid Model theory
	Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) [My Copy] (2007) by Rafael H. Bordini, Michael Wooldridge, Jomi F. Hübner posted to bdi logics mas programming by birukou on 2008-03-12 10:41:33 as
	Comparer, catégoriser, faire sens : Lanalogie, des figures du discours aux discours à propos des figures [My Copy] (01 January 2006) by Igor Babou posted to categorisation communication logics philosophy by Babou to the group Sciences_communication_societe on 2008-02-14 07:37:53 as
	A Spatial Logic for Concurrency [My Copy] Lecture Notes in Computer Science, Vol. 2215 (2001), pp. 1-??. by Lu\is Caires, Luca Cardelli posted to concurrency logics spatial-logic by Scis0000002 on 2008-01-29 11:54:20 as
	Integrating temporal logics [My Copy] (2004) by Y. Chen, Z. Liu posted to linking logics temporal theories by lzm on 2008-01-18 15:44:38 as along with 1 person rCOS
	Hypersets as truth values [My Copy] by T. Tsujishita posted to hypersets logics by Scis0000002 on 2008-01-11 01:10:09 as
	Towards a theory of declarative knowledge [My Copy] (1988), pp. 89-148. by K. R. Apt, H. A. Blair, A. Walker posted to database_mgt knowledge_representation logics by fheintz on 2008-01-08 12:56:09 as
	Introduction to logic-based artificial intelligence [My Copy] (2000), pp. 3-33. by Jack Minker posted to ai logics by fheintz on 2008-01-08 12:47:09 as
	Quantum complexity theory [My Copy] In STOC '93: Proceedings of the twenty-fifth annual ACM symposium on Theory of computing (1993), pp. 11-20. by Ethan Bernstein, Umesh Vazirani posted to complexity-theory computational-complexity-theory logics quantum-complexity-theory quantum-computing by Scis0000002 on 2007-12-28 14:31:52 as along with 1 person gvdh
	Logics of Specification Languages [My Copy] (13 November 2007) by Dines Bjørner, Martin Henson posted to 2008 language logics nopdf specification _to_download_springer 2007 by leonardo on 2007-12-08 00:49:58 as
	Logical Patterns in Space [My Copy] (1999) by M. Aiello, J. van Benthem posted to computational-mechanics logics modal-logic spatial topological-space topology by Scis0000002 on 2007-09-24 00:51:04 as
	Constructive Logics Part I: A Tutorial on Proof Systems and Typed gamma-Calculi [My Copy] Theoretical Computer Science, Vol. 110, No. 2. (1993), pp. 249-339. by Jean H. Gallier posted to constructive logics by Scis0000002 on 2007-08-31 22:57:01 as along with 4 people and 2 groups rgrig scavadini mfrydr ds SRG_at_UCD complogic
	Coalgebras and their logics [My Copy] SIGACT News, Vol. 37, No. 2. (June 2006), pp. 57-77. by Alexander Kurz posted to coalgebras logics by Scis0000002 on 2007-08-24 21:57:51 as along with 1 person christiankissig
	Logical Foundations for Rule-Based Systems (Studies in Computational Intelligence) (Studies in Computational Intelligence) [My Copy] (2006) by Antoni Ligeza posted to logics rules by Scis0000002 on 2007-08-22 13:12:27 as
	Automatic construction of discourse representation structures [My Copy] In ACL-22: Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics (1984), pp. 398-401. by Franz Guenthner, Hubert Lehmann posted to argumentation-theory computational-linguistics discourse-representation-structures discourse-representation-theory discourses discursive-technologies linguistic-frameworks logical-frameworks logics logification nlp ontologies scientific-discourse sentences by Scis0000002 on 2007-08-21 23:05:44 as
	Mechanisms for combining logics [My Copy] (1999) by C. Caleiro, C. Sernadas, A. Sernadas posted to combining general-logics institutions logics metalogics by Scis0000002 on 2007-08-19 16:31:57 as along with 1 person and 1 group dalev NU-PRL
	Graph-Based Logic and Sketches 1: The General Framework [My Copy] ArXiv Mathematics e-prints (October 1994) by A. Bagchi, C. Wells posted to category-theory graph-theory higher-dimensional-sketches institutions logics mathematical-structures metalogics metamathematical-frameworks presentation representation sketches sketch-theory specification toposes topos-theory visual by Scis0000002 on 2007-08-02 14:06:30 as
	Toposes in Logic and Logic in Toposes [My Copy] Topoi, Vol. 3, No. 1. (1 June 1984), pp. 13-22. by Marta Bunge posted to logics metalogics toposes topos-morphisms topos-theory by Scis0000002 on 2007-07-15 17:51:36 as
	Topology via Constructive Logic [My Copy] (1999) by V. Steven posted to constructive geometric-logic logics topological-space topology toposes by Scis0000002 on 2007-07-14 15:16:15 as
	Logic in the Finite [My Copy] by Scott Weinstein posted to logics by Scis0000002 on 2007-07-14 14:02:29 as
	Logic and Relativity (in the light of definability theory) [My Copy] by Judit Madarasz posted to definability formalization logics relativity by Scis0000002 on 2007-07-14 13:58:26 as
	The Logic Of Counteractions [My Copy] by Erkan Tin posted to logics temporal-logic temporal-nonmonotonic-logic by Scis0000002 on 2007-07-06 14:56:49 as along with 1 person scis0000001
	Unifying functional, object-oriented and relational programming with logical semantics [My Copy] (1987), pp. 417-478. by Joseph A. Goguen, Jos&\#233; Meseguer posted to functional-programming logics object-oriented-programming oo partial-order-programming relational-programming by Scis0000002 on 2007-07-05 14:24:58 as along with 1 person oryp6518
	Dialogical Connexive Logic [My Copy] Synthese, Vol. 127, No. 1. (1 April 2001), pp. 105-139. by Shahid Rahman, Helge Rückert posted to connexive-logic dialogical-logic logics by Scis0000002 on 2007-07-04 10:02:50 as
	Logical for Social Software [My Copy] by Marc Pauly posted to agency-theory alternating-temporal-logic category-of-organizations coalition-logic collaborating collaboration computability-logic economic-processes game-complexity game-theory games institutions logical-structures logics markets networks new-institutional-economics normative-systems organization-theory organizational-logic social-choice-theory social-dynamics social-interactions social-processes social-software social-structures social-systems socio-economic-systems by Scis0000002 on 2007-07-04 09:47:02 as along with 1 person education01
	Games as formal tools versus games as explanations in logic and science [My Copy] Foundations of Science, Vol. 8, No. 4. (1 December 2003), pp. 317-364. by Ahti-Veikko Pietarinen posted to argumentation-theory category-theory computability-logic dialogical-logic domain-theory games game-theory lattice-theory logics networks order-theory probability-theory by Scis0000002 on 2007-07-01 16:05:50 as
	Temporal Coherence and Defeasible Knowledge [My Copy] In Proceedings of the Workshop on Discourse Coherence (1991) by Alex Lascarides, Jon Oberlander posted to discourse logics relations semantics by matwendt on 2007-06-17 11:23:26 as along with 1 person Scis0000002

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

Result page: 1 2 3 Next

computability-logic	9
metalogics	8
games	7
iff	7
institutions	7
domain-theory	6
inference	6
semantics	6
ai	5
category-theory	5
godel	5
incompletness	5
mathematics	5
theorem	5
argumentation	4
argumentation-theory	4
concurrency	4
programming	4
temporal	4
topological-space	4
topos-theory	4
communication	3
constructive	3
effective-topos	3
game-theory	3
lattice	3
managed-logic	3
modal-logic	3
order-theory	3
paraconsistency	3
parchments	3
partial-order	3
probability-theory	3
quantum-logic	3
specification	3
temporal-logic	3
toposes	3
unified-concept-theory	3
1a-6	2
2008	2
algorithmic-information-theory	2
categorisation	2
composition	2
context	2
control	2
deep-inference	2
default-reasoning	2
dialogical-logic	2
discourse	2
discovery	2
distance	2
dynamical-system	2
fol	2
formal-development	2
formal-science	2
formalization	2
functional-programming	2
general-logics	2
goals	2
information-system	2
information-theory	2
intuitionistic-logic	2
knowledge_representation	2
kolmogorov-complexity	2
language	2
lattice-of-theories	2
lattice-theory	2
logic-programming	2
logical-frameworks	2
logical-structures	2
logical-theories	2
lp	2
management	2
markets	2
mas	2
measure-theory	2
metascience	2
modeling	2
networks	2
new	2
nonmonotonic	2
nonmonotonicity	2
organizational	2
philosophy	2
proof	2
property-lattice	2
quantitative	2
relations	2
representation	2
research	2
spatial	2
spatial-logic	2
time	2
topology	2
transformation	2
alternating-temporal-logic	1
database_mgt	1
information-retrieval	1
predictability	1
social-dynamics	1

Tag logics [109 articles] Export

Related Tags