default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Logic, Volume 11
Volume 11, Number 1, March 2013
- Murdoch James Gabbay
, Aleksandar Nanevski:
Denotation of contextual modal type theory (CMTT): Syntax and meta-programming. 1-29 - Clare Dixon, Boris Konev, Michael Fisher, Sherly Nietiadi:
Deductive temporal reasoning with constraints. 30-51 - Giovanni Boniolo, Marcello D'Agostino, Mario Piazza, Gabriele Pulcini:
A logic of non-monotonic interactions. 52-62 - Michael Abraham, Israel Belfer, Dov M. Gabbay, Uri J. Schild:
Future determination of entities in Talmudic public announcement logic. 63-90 - Nik Sultana, Jasmin Christian Blanchette, Lawrence C. Paulson:
LEO-II and Satallax on the Sledgehammer test bench. 91-102 - Dov M. Gabbay:
Reactive Kripke models and contrary to duty obligations. Part A: Semantics. 103-136 - Bama Srinivasan, Ranjani Parthasarathi:
An intelligent task analysis approach for special education based on MIRA. 137-145
Volume 11, Number 2, June 2013
- Mathieu Beirlaen, Christian Straßer:
Two adaptive logics of norm-propositions. 147-168 - Jacek Konarzewski, Mariusz Zynel:
A note on orthogonality of subspaces in Euclidean geometry. 169-173 - Umberto Rivieccio:
Representation of interlaced trilattices. 174-189 - Stanislav Kikot, Evgeny Zolin:
Modal definability of first-order formulas with free variables and query answering. 190-216 - Hu Liu, Yuan Ren, Xuefeng Wen:
Simulative belief logic. 217-228 - Ofer Arieli, Martin W. A. Caminada:
A QBF-based formalization of abstract argumentation semantics. 229-252
Volume 11, Number 3, September 2013
- Karin Cvetko-Vah, Jonathan Leech, Matthew Spinks:
Skew lattices and binary operations on functions. 253-265 - Robin Hirsch, Szabolcs Mikulás:
Ordered domain algebras. 266-271 - James Gate, Iain A. Stewart:
The expressibility of fragments of Hybrid Graph Logic on finite digraphs. 272-288 - Hannes Strass, Michael Thielscher:
A general first-order solution to the ramification problem with cycles. 289-308 - Sebastian Link:
Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty. 309-327 - Cristina Sernadas, João Rasga, Amílcar Sernadas:
Preservation of Craig interpolation by the product of matrix logics. 328-349 - Elena N. Zaitseva, Vitaly G. Levashenko:
Multiple-Valued Logic mathematical approaches for multi-state system reliability analysis. 350-362
Volume 11, Number 4, December 2013
- Jeffrey Helzner:
Combining probability and logic: Papers from Progic 2011. 363
- Vincenzo Crupi, Katya Tentori:
Confirmation as partial entailment: A representation theorem in inductive logic. 364-372 - Haim Gaifman:
The sure thing principle, dilations, and objective probabilities. 373-385 - Marcus Hutter, John W. Lloyd, Kee Siong Ng, William T. B. Uther:
Probabilities on Sentences in an Expressive Logic. 386-420 - Jeff B. Paris:
An observation on Carnap's Continuum and stochastic independencies. 421-429 - Jan-Willem Romeijn:
Abducted by Bayesians? 430-439 - A. Vasudevan:
On the a priori and a posteriori assessment of probabilities. 440-451 - Sylvia Wenmackers:
Ultralarge lotteries: Analyzing the Lottery Paradox using non-standard analysis. 452-467 - Jon Williamson:
From Bayesian epistemology to inductive logic. 468-486
- Ruurik Holm:
Infinity and verifiability in Carnap's inductive logic. 487-504 - Fernando R. Velázquez-Quesada, Fernando Soler-Toscano, Ángel Nepomuceno-Fernández:
An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution. 505-522 - Andrew David Irvine:
S7. 523-529 - Michael L. Tiomkin:
A sequent calculus for a logic of contingencies. 530-535
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 2025-11-23 19:43 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:
