default search action
Journal of Logic and Computation, Volume 18
Volume 18, Number 1, February 2008
- Trevor J. M. Bench-Capon
, Henry Prakken:
Introducing the Logic and Law Corner. 1-12 - Guilherme Bittencourt:
Combining Syntax and Semantics through Prime Form Representation. 13-33 - Thomas Vetterlein
Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms. 35-57 - Daniel Lehmann:
A Presentation of Quantum Logic Based on an and then Connective. 59-76 - Maria Paola Bonacina
On Variable-inactivity and Polynomial tau-Satisfiability Procedures. 77-96 - Eduardo Mizraji:
Vector Logic: A Natural Algebraic Representation of the Fundamental Logical Gates. 97-121 - Walter Alexandre Carnielli, João Rasga
Preservation of Interpolation Features by Fibring. 123-151 - Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso:
Monotonic and Downward Closed Games. 153-169 - Mirjana Isakovic Ilic:
Cut Elimination and Decidability for Classical Lambek Logic. 171-199
Volume 18, Number 2, April 2008
- Chris Fox, Maribel Fernández, Shalom Lappin:
Lambda Calculus, Type Theory, and Natural Language II. 203 - Jan van Eijck:
Sequentially Indexed Grammars. 205-228 - J. Roger Hindley:
M. H. Newman's Typability Algorithm for Lambda-calculus. 229-238 - Glyn Morrill, Mario Fadda:
Proof Nets for Basic Discontinuous Lambek Calculus. 239-256 - Carl Pollard:
Hyperintensions. 257-282 - Raymond Turner:
Computable Models. 283-318
Volume 18, Number 3, June 2008
- Jana Z. Sukkarieh:
Natural Language and Knowledge Representation. 319-321 - Antony Galton:
Experience and History: Processes and their Relation to Events. 323-340 - Shenghui Wang
The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies. 341-359 - Francisco J. Valverde-Albacete
Extracting Frame-Semantics Knowledge using Lattice Theory. 361-384 - Olga Gurevich, Richard S. Crouch, Tracy Holloway King
Deverbal Nouns in Knowledge Representation. 385-404 - Myroslava O. Dzikovska, James F. Allen, Mary D. Swift:
Linking Semantic and Knowledge Representations in a Multi-Domain Dialogue System. 405-430 - Allan Ramsay
Speech Acts, Epistemic Planning and Grice's Maxims. 431-457 - Anselmo Peñas
Testing the Reasoning for Question Answering Validation. 459-474 - Hyuckchul Jung, James F. Allen, Lucian Galescu, Nathanael Chambers, Mary D. Swift, William Taysom:
Utilizing Natural Language for One-Shot Task Learning. 475-493
Volume 18, Number 4, August 2008
- Heinrich Wansing
Editorial and call for papers. 495-496
- Ryo Kashima
General Models and Completeness of First-Order Modal µ-calculus. 497-507 - Vladimir V. Rybakov
Multi-modal and Temporal Logics with Universal Formula - Reduction of Admissibility to Validity and Unification. 509-519 - Murdoch James Gabbay
One-and-a-halfth-order Logic. 521-562 - Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge:
Sum and Product in Dynamic Epistemic Logic. 563-588 - Ernst Zimmermann:
Lambek Calculus in Natural Deduction. 589-600 - Giovanna D'Agostino, Giacomo Lenzi
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames. 601-614 - Dimitar P. Guelev:
A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic. 615-623 - Morteza Moniri:
On the Hierarchy of Intuitionistic Bounded Arithmetic. 625-630 - Torben Braüner:
Adding Intensional Machinery to Hybrid Logic. 631-648 - Matthias Baaz
Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega. 649-668 - Loïc Colson, David Michel:
Pedagogical Second-order Propositional Calculi. 669-695
Volume 18, Number 5, October 2008
- James P. Delgrande, Jérôme Lang, Hans Rott
Preface. 697
- Isaac Levi:
Degrees of Belief. 699-719 - Didier Dubois:
Three Scenarios for the Revision of Epistemic States. 721-738 - Eduardo Fermé
An Axiomatic Characterization of Ensconcement-Based Contraction. 739-753 - Richard Booth, Alexander Nittka:
Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs. 755-782 - Yi Jin, Michael Thielscher
Reinforcement Belief Revision. 783-813
Volume 18, Number 6, December 2008
- Evgeny Yu. Sherkhonov:
Modal Operators over Constructive Logic. 815-829
- Carlo Meghini, Nicolas Spyratos:
Synthesizing Monadic Predicates. 831-847 - Ariel Arbiser:
The Expansion Problem in Lambda Calculi with Explicit Substitution. 849-883 - Luís Cruz-Filipe
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification. 885-911 - Mauricio Javier Osorio Galindo, José R. Arrazola Ramírez, José Luis Carballido:
Logical Weak Completions of Paraconsistent Logics. 913-940 - Enrico Marchioni:
On Computational Complexity of Semilinear Varieties. 941-958 - Mladen Pavicic, Norman D. Megill:
Standard Logics Are Valuation-Nonmonotonic. 959-982 - Giorgi Japaridze
Cirquent Calculus Deepened. 983-1028 - Maria Nogin, Aleksey Nogin
On Dynamic Topological Logic of the Real Line. 1029-1045 - Jirí Adámek, Stephen L. Bloom, Stefan Milius:
On Algebras with Iteration. 1047-1085
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-12-23 19:19 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: