![](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 23
Volume 23, Number 1, February 2013
- Norihiro Kamide:
Strong normalization in some temporal substructural logics. 1-24
- Andrew Koster
, W. Marco Schorlemmer
, Jordi Sabater-Mir:
Opening the black box of trust: reasoning about trust models in a BDI agent. 25-58
- Ori Lahav, Arnon Avron:
A semantic proof of strong cut-admissibility for first-order Gödel logic. 59-86
- Hubie Chen, Víctor Dalmau
, Berit Grußien:
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
, Tero Tulenheimo:
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
, Gem Stapleton, John Howse
:
Generalized constraint diagrams and the classical decision problem. 199-262 - Miquel Bofill
, Cristina Borralleras
, Enric Rodríguez-Carbonell
, Albert Rubio:
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
, Gabriella Pigozzi, Harko Verhagen:
Introduction to the special issue on NorMAS 2009. 307-308
- Natalia Criado
, Estefania Argente
, Vicente J. Botti
:
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
, Trevor J. M. Bench-Capon
, Peter McBurney:
Dynamic assignment of roles, rights and responsibilities in normative multi-agent systems. 355-372 - Ho-Pun Lam
, Guido Governatori
:
Towards a model of UAVs navigation in urban canyon through defeasible logic. 373-395 - Fabio Yoshimitsu Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa:
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
, Nazanin Tavana
:
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
, Anna Zamansky:
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
, Andrew J. I. Jones:
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
, Miki Hermann, Florian Richoux:
Complexity of existential positive first-order logic. 753-760 - Luca Bortolussi
, Alberto Policriti
:
(Hybrid) automata and (stochastic) programsThe hybrid automata lattice of a stochastic program. 761-798 - Robert Brijder
, Hendrik Blockeel
:
On the inference of non-confluent NLC graph grammars. 799-814 - Guénola Drillon, Alessandra Carbone
, Gilles Fischer
:
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
, Ivo Düntsch
:
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
, Henry Prakken, Chris Reed
:
On logical specifications of the Argument Interchange Format. 951-989 - Antonis C. Kakas
, Paolo Mancarella:
On the semantics of abstract argumentation. 991-1015
- Z. Liang, K. Subramani
, James Worthington:
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
, Manuel A. Martins
:
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
, Diogo Poças
, John V. Tucker:
Oracles that measure thresholds: the Turing machine and the broken balance. 1155-1181 - Laurent Bienvenu, Noam Greenberg, Antonín Kucera
, Joseph S. Miller
, André Nies
, Daniel Turetsky:
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
, Sy-David Friedman, Julia F. Knight, Russell G. Miller:
Classes of structures with universe a subset of ω1. 1249-1265 - Daniele Marsibilio, Andrea Sorbi:
Singleton enumeration reducibility and arithmetic. 1267-1292 - Mehrnoosh Sadrzadeh
, Stephen Clark, Bob Coecke:
The Frobenius anatomy of word meanings I: subject and object relative pronouns. 1293-1317 - Alexandra A. Soskova
, Ivan N. Soskov:
Quasi-minimal degrees for degree spectra. 1319-1334 - Ivan N. Soskov:
Effective properties of Marker's extensions. 1335-1367
![](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.