Luca Cardelli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged logic

Modular Markovian LogicLuca Cardelli, Kim G. Larsen, Radu Mardare. icalp 2011: 380-391 [doi]

Undecidability for arbitrary public announcement logicTim French, Hans P. van Ditmarsch. aiml 2008: 23-42 [doi]

36th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2006), 17-20 May 2006, SingaporeIEEE Computer Society, 2006.

Transparent Intensional Logic and Multiagent SystemsJaroslav Müller. imecs 2006: 264-269

Deciding validity in a spatial logic for treesCristiano Calcagno, Luca Cardelli, Andrew D. Gordon. JFP, 15(4):543-572, 2005. [doi]

Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent VariablesRegimantas Pliuskevicius, Aida Pliuskeviciene. clima 2006: 112-128 [doi]

A spatial logic for concurrency - IILuís Caires, Luca Cardelli. TCS, 322(3):517-565, 2004. [doi]

TQL: a query language for semistructured data based on the ambient logicLuca Cardelli, Giorgio Ghelli. mscs, 14(3):285-327, 2004. [doi]

Using an electronic voting system in logic lectures: one practitioner s applicationS. A. J. Stuart, M. I. Brown, Stephen W. Draper. jcal, 20(2):95-102, 2004. [doi]

Synthesis of Logic Circuits Using Fractional-Order Dynamic Fitness FunctionsCecília Reis, José António Tenreiro Machado, J. Boaventura Cunha. ijit 2004: 77-80

A spatial logic for concurrency (part I)Luís Caires, Luca Cardelli. iandc, 186(2):194-235, 2003. [doi]

Deciding validity in a spatial logic for treesCristiano Calcagno, Luca Cardelli, Andrew D. Gordon. tldi 2003: 62-73 [doi]

On the Computational Complexity of Cut-Elimination in Linear LogicHarry G. Mairson, Kazushige Terui. ictcs 2003: 23-36 [doi]

Probability, logic and the cognitive foundations of rational beliefJohn Fox. japll, 1(3-4):197-224, 2003. [doi]

The Assault on LogicMichael A. Caloyannides. ieeesp, 1(4):91-95, 2003. [doi]

Application of Fuzzy Logic for Dynamic Scheduling in Intelligent Manufacturing SystemAndrzej Jardzioch, Jerzy Honczarenko. icai 2003: 957-963

A Spatial Logic for Concurrency (Part II)Luís Caires, Luca Cardelli. concur 2002: 209-225 [doi]

A Spatial Logic for Querying GraphsLuca Cardelli, Philippa Gardner, Giorgio Ghelli. icalp 2002: 597-610 [doi]

A Spatial Logic for ConcurrencyLuís Caires, Luca Cardelli. tacs 2001: 1-37 [doi]

A Query Language Based on the Ambient LogicLuca Cardelli, Giorgio Ghelli. ESOP 2001: 1-22 [doi]

A Query Language Based on the Ambient LogicLuca Cardelli, Giorgio Ghelli. sebd 2001: 95-104

Minimizing Agent Specifications using a Logic of Knowledge and ActionsGilbert Ndjatou. logcom, 11(2):337-354, 2001. [doi]

Interpolation theorems for intuitionistic predicate logicGrigori Mints. APAL, 113(1-3):225-242, 2001.

Anytime, Anywhere: Modal Logics for Mobile AmbientsLuca Cardelli, Andrew D. Gordon. POPL 2000: 365-377 [doi]

Corrigendum to Galmiche s and Perrier s On Proof Normalization in Linear Logic Guy Perrier. TCS, 206(1-2):353-354, 1998. [doi]

Fuzzy Sets and Fuzzy Logic: Theory and Applications. By George J. Klir and Bo Yuan. Prentice Hall: Upper Saddle River, NJ, 1995, 574 pp, ISBN 0-13-101171-5Jiri Pospichal. jcisd, 36(3):619, 1996. [doi]

RAA-Coherent Logics which are not RAA-Extended are Non-MonotonicCristian Papp. cuza, 5:29-34, 1996.

Discursive logic. Towards a logic of rational discourseMax P. Urchs. sLogica, 54(2):231-249, 1995.

Logic and Learning: Turing s legacyStephen Muggleton. mi 1994: 37-56

Logic, Computers, Turing, and von NeumannJohn Alan Robinson. mi 1994: 1-35

On Bimodal Logics of ProvabilityLev D. Beklemishev. APAL, 68(2):115-159, 1994.

Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992]Michael Masuch, László Pólos, editors, Volume 808 of Lecture Notes in Computer Science, Springer, 1994.

Johan van Benthem, Language in Action: Categories, Lambdas and Dynamic LogicDavid J. Israel. ai, 63(1-2):503-510, 1993.

Categorical Models for Non-Extensional lambda-Calculi and Combinatory LogicSimone Martini. mscs, 2(3):327-357, 1992.

Computational Logic - Essays in Honor of Alan Robinson1991.

Credulous and Autoepistemic Reasoning Using Ordered LogicP. Geerts, Dirk Vermeir. lpnmr 1991: 21-36

An Evaluation of the Chandy-Misra-Bryant Algorithm for Digital Logic SimulationLarry Soulé, Anoop Gupta. tomacs, 1(4):308-347, 1991. [doi]

Motivation and Demotivation of a Four-Valued LogicJohn Fox. ndjfl, 31(1):76-80, 1990.

Finite and Finitely Separable Intermediate Propositional LogicsFabio Bellissima. JSYML, 53(2):403-420, 1988.

Epistemic Logics, Probability, and the Calculus of EvidenceEnrique H. Ruspini. IJCAI 1987: 924-931

A Foray Into Combinatory LogicBarney Glickfeld, Ross A. Overbeek. JAR, 2(4):419-431, 1986.

Expert LogicsGeorge Gargov, Slavian Radev. aimsa 1986: 181-188

A Generalized Nexttime Operator in Temporal LogicFred Kröger. jcss, 29(1):80-98, 1984.

Proving Failure-Free Properties of Concurrent Systems Using Temporal LogicRichard Alan Karp. TOPLAS, 6(2):239-253, 1984. [doi]

A Proof of the Associated Sheaf Theorem by Means of Categorical LogicBarbara Veit. JSYML, 46(1):45-55, 1981.

ULM Implicants for Minimization of Universal Logic Module CircuitsRaymond P. Voith. TC, 26(5):417-424, 1977.

Subtree Replacement Systems: A Unifying Theory for Recursive Equations, LISP, Lucid and Combinatory LogicMike O Donnell. stoc 1977: 295-305

Reed-Muller Canonical Forms in Multivalued LogicKolar L. Kodandapani, Rangaswamy V. Setlur. TC, 24(6):628-636, 1975.

On the Structure of Quantum LogicP. D. Finch. JSYML, 34(2):275-282, 1969.

Annual Meeting of the Association for Symbolic LogicBurton Dreben, James Thomson. JSYML, 33(4):636-645, 1968.

runs on WebDSL