default search action
Journal of Logic and Computation, Volume 23
Volume 23, Number 1, February 2013
- Norihiro Kamide:
Strong normalization in some temporal substructural logics. 1-24
- Andrew Koster
, W. Marco Schorlemmer
Opening the black box of trust: reasoning about trust models in a BDI agent. 25-58
- Ori Lahav
A semantic proof of strong cut-admissibility for first-order Gödel logic. 59-86
- Hubie Chen, Víctor Dalmau
Arc consistency and friends. 87-108 - Frederik Van De Putte:
Prime implicates and relevant belief revision. 109-119 - Joel Gregory Lucero-Bryan
The d-logic of the real line. 121-156 - Lauri Hella
On the existence of a modal-logical basis for monadic second-order logic. 157-180 - Luis Estrada-González
Remarks on some general features of abduction. 181-197 - Jim Burton
Generalized constraint diagrams and the classical decision problem. 199-262 - Miquel Bofill
The recursive path and polynomial ordering for first-order and higher-order terms. 263-305
Volume 23, Number 2, April 2013
- Guido Boella, Pablo Noriega
Introduction to the special issue on NorMAS 2009. 307-308
- Natalia Criado
THOMAS: An agent platform for supporting normative multi-agent systems. 309-333 - Mehdi Dastani, John-Jules Ch. Meyer, Davide Grossi
A logic for normative multi-agent programs. 335-354 - Farnaz Derakhshan
Dynamic assignment of roles, rights and responsibilities in normative multi-agent systems. 355-372 - Ho-Pun Lam
Towards a model of UAVs navigation in urban canyon through defeasible logic. 373-395 - Fabio Yoshimitsu Okuyama
Situated normative infrastructures: the normative object approach. 397-424 - Luigi Sauro, Serena Villata:
Dependency in Cooperative Boolean Games. 425-444
Volume 23, Number 3, June 2013
- Giovanna D'Agostino, Giacomo Lenzi
On modal μ-calculus over reflexive symmetric graphs. 445-455 - Ernest Davis:
Elementarily equivalent structures for topological languages over regions in Euclidean space. 457-471 - Massoud Pourmahdian
Compactness in first-order Gödel logics. 473-485 - Dragan Doder, John Grant, Zoran Ognjanovic:
Probabilistic logics for objects located in space and time. 487-515
- Arnon Avron, Beata Konikowska
Cut-free sequent calculi for C-systems with generalized finite-valued semantics. 517-540
- Beishui Liao, Huaxin Huang:
Partial semantics of argumentation: basic properties and empirical. 541-562
- Frederik Van De Putte, Christian Straßer
A Logic for prioritized normative reasoning. 563-583 - José Carmo
Completeness and decidability results for a logic of contrary-to-duty conditionals. 585-626
- Andreas Wichert
Proto logic and neural subsymbolic reasoning. 627-643
- Dion Coumans, Samuel J. van Gool:
On generalizing free algebras for a functor. 645-672
- Katarzyna Grygiel, Pawel M. Idziak, Marek Zaionc:
How big is BCI fragment of BCK logic. 673-691
- Emil Jerábek
The complexity of admissible rules of Łukasiewicz logic. 693-705 - Sándor Jenei, Franco Montagna:
Strongly involutive uninorm algebras. 707-726
Volume 23, Number 4, August 2013
- Klaus Ambos-Spies, Arnold Beckmann, Erzsébet Csuhaj-Varjú, Benedikt Löwe:
Computability in Europe 2009. 727-728
- Thomas Anberrée:
First-order universality for real programs. 729-751 - Manuel Bodirsky
Complexity of existential positive first-order logic. 753-760 - Luca Bortolussi
(Hybrid) automata and (stochastic) programsThe hybrid automata lattice of a stochastic program. 761-798 - Robert Brijder
On the inference of non-confluent NLC graph grammars. 799-814 - Guénola Drillon, Alessandra Carbone
Combinatorics of chromosomal rearrangements based on synteny blocks and synteny packs. 815-838 - Martín Hötzel Escardó:
Algorithmic solution of higher type equations. 839-854 - Benedek Nagy:
On a hierarchy of 5′ → 3′ sensing Watson-Crick finite automata languages. 855-872 - Ian Pratt-Hartmann
Functions definable by numerical set-expressions. 873-895 - Thomas Zerjatke, Monika Sturm:
Solving a PSPACE-complete problem by gene assembly. 897-908 - Marius Zimand:
Generating Kolmogorov random strings from sources with limited independence. 909-924
Volume 23, Number 5, October 2013
- Sarah Alice Gaggl, Stefan Woltran:
The cf2 argumentation semantics revisited. 925-949 - Floris Bex, Sanjay Modgil
On logical specifications of the Argument Interchange Format. 951-989 - Antonis C. Kakas
On the semantics of abstract argumentation. 991-1015
- Z. Liang, K. Subramani
Polynomial time certifying algorithms for the planar quantified integer programming problem. 1017-1033 - Stanislav O. Speranski
Complexity for probability logic with quantifiers over propositions. 1035-1055 - Mark Alexander Reynolds
A tableau for general linear temporal logic. 1057-1080 - David Poole:
Foundations of model construction in feature-based semantic science. 1081-1096 - Dirk Hofmann
On a coalgebraic view on Logic. 1097-1106 - Ernest Davis:
The expressive power of first-order topological languages. 1107-1141
Volume 23, Number 6, December 2013
- S. Barry Cooper, Mariya Ivanova Soskova
The incomputable. 1143-1144 - Marat M. Arslanov
Definable relations in Turing degree structures. 1145-1154 - Edwin J. Beggs, José Félix Costa
Oracles that measure thresholds: the Turing machine and the broken balance. 1155-1181 - Laurent Bienvenu, Noam Greenberg, Antonín Kucera
Joining non-low C.E. sets with diagonally non-computable functions. 1183-1194 - Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel:
Two-to-one structures. 1195-1223 - José Félix Costa
Incomputability at the foundations of physics (A study in the philosophy of science). 1225-1248 - Ekaterina B. Fokina
Classes of structures with universe a subset of ω1. 1249-1265 - Daniele Marsibilio, Andrea Sorbi:
Singleton enumeration reducibility and arithmetic. 1267-1292 - Mehrnoosh Sadrzadeh
The Frobenius anatomy of word meanings I: subject and object relative pronouns. 1293-1317 - Alexandra A. Soskova
Quasi-minimal degrees for degree spectra. 1319-1334 - Ivan N. Soskov:
Effective properties of Marker's extensions. 1335-1367
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-15 01:26 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: