default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 14
Volume 14, Number 1, 2004
- Alessandro Artale, Clare Dixon
, Michael Fisher, Enrico Franconi:
Editorial. 1 - Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev:
On Non-local Propositional and Weak Monodic Quantified CTL. 3-22 - Elena Camossi, Elisa Bertino, Marco Mesiti, Giovanna Guerrini:
Handling Expiration of Multigranular Temporal Objects. 23-50 - Carlo Combi, Massimo Franceschet, Adriano Peron:
Representing and Reasoning about Temporal Granularities. 51-77 - Tim Fernando:
A Finite-state Approach to Events in Natural Language Semantics. 79-92 - John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher:
A Local Search Approach to Modelling and Solving Interval Algebra Problems. 93-112
Volume 14, Number 2, 2004
- Lifeng He, Yuyan Chao, Hidenori Itoh:
R-SATCHMO: Refinements on I-SATCHMO. 117-143 - Marc Aiguier:
ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement. 145-178 - Marcelo Finger, Renata Wassermann:
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. 179-204 - Maciej Kandulski:
Categorial Grammars and Tree Languages. 205-214 - Dimitar P. Guelev:
A Complete Proof System for First-order Interval Temporal Logic with Projection. 215-249 - Gerard R. Renardel de Lavalette:
Changing Modalities. 251-275 - Nicole Bidoit, Sandra de Amo, Luc Segoufin:
Order Independent Temporal Properties. 277-298 - Franco Montagna:
Storage Operators and Multiplicative Quantifiers in Many-valued Logics. 299-322 - Richard E. Overill:
Review: From 0 to 1; an Authoritative History of Modern Computing. 323 - Richard E. Overill:
Review: Things a Computer Scientist Rarely Talks About. 323-324 - Richard E. Overill:
Review: A Dictionary of the Internet. 324-325 - Richard E. Overill:
Review: Views into the Chinese Room: New Essays on Searle and Artificial Intelligence. 325-326
Volume 14, Number 3, 2004
- Torben Braüner:
Natural Deduction for Hybrid Logic. 329-353 - Pavlos Peppas:
The Limit Assumption and Multiple Revision. 355-371 - Stefania Lusin, Antonino Salibra:
The Lattice of Lambda Theories. 373-394 - Radim Belohlávek:
Concept Equations. 395-403 - Gang Chen:
Soundness of Coercion in the Calculus of Constructions. 405-427 - Tomasz F. Skura:
Rules and Refutation Rules for the Logic of Finite n-ary Trees. 429-435
Volume 14, Number 4, 2004
- Valeria de Paiva, Rajeev Goré, Michael Mendler:
Editorial. 439-446 - Steven Awodey, Andrej Bauer:
Propositions as Types. 447-471 - Gianluigi Bellin, Corrado Biasi:
Towards a Logic for Pragmatics. Assertions and Conjectures. 473-506 - Olivier Brunet:
A Logic for Partial System Description. 507-528 - Tristan Crolard:
A Formulae-as-Types Interpretation of Subtractive Logic. 529-570 - Lutz Schröder, Till Mossakowski:
Monad-independent Dynamic Logic in HasCasl. 571-619 - Valeria de Paiva, Rajeev Goré, Michael Mendler:
Forthcoming Papers. 621-622
Volume 14, Number 5, 2004
- Heinrich Wansing:
Editorial. 623 - Norihiro Kamide:
Combining Soft Linear Logic and Spatio-temporal Operators. 625-650 - Razvan Diaconescu:
Elementary Diagrams in Institutions. 651-674 - Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington:
Argumentation Semantics for Defeasible Logic. 675-702 - Erik T. Mueller:
Event Calculus Reasoning Through Satisfiability. 703-730 - Murray Shanahan, Mark Witkowski:
Event Calculus Planning Through Satisfiability. 731-745 - Paolo Liberatore:
Uncontroversial Default Logic. 747-765
Volume 14, Number 6, 2004
- Mirjana Borisavljevic:
Extended Natural Deduction Images of Conversions from the System of Sequents. 769-799 - James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran:
On Computing Belief Change Operations using Quantified Boolean Formulas. 801-826 - Radim Belohlávek, Tatána Funioková:
Similarity and Fuzzy Tolerance Spaces. 827-855 - Gem Stapleton, John Howse, John Taylor, Simon J. Thompson:
The Expressiveness of Spider Diagrams. 857-880 - Richard Banach:
Review: Process Algebra with Timing. 881 - Alice ter Meulen:
Review: Word, Proofs and Diagrams. 882
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-13 23:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
