![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Journal 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.