default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Logic, Volume 12
Volume 12, Number 1, March 2014
- Jean Gillibert, Christian Retoré:
Category theory, logic and formal linguistics: Some connections, old and new. 1-13
- Steven Vickers:
Continuity and geometric logic. 14-27 - François Lamarche:
Modeling Martin-Löf type theory in categories. 28-44 - Thomas Streicher:
A model of type theory in simplicial sets: A brief introduction to Voevodsky's homotopy type theory. 45-49 - Dion Coumans, Mai Gehrke, Lorijn van Rooijen:
Relational semantics for full linear logic. 50-66 - V. Michele Abrusci, Christophe Fouqueré, Marco Romano:
Formal Ontologies and Coherent Spaces. 67-74 - Nicholas Asher:
Selectional restrictions, types and categories. 75-87 - Anne Preller:
Natural language semantics in biproduct dagger categories. 88-108
Volume 12, Number 2, June 2014
- Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
:
A neural cognitive model of argumentation with application to legal inference and decision making. 109-127 - Gavin Rens, Thomas Meyer, Gerhard Lakemeyer:
SLAP: Specification logic of actions with probability. 128-150 - Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang:
A logical framework for privacy-preserving social network publication. 151-174 - Matthieu Fontaine:
Errors of Reasoning: Naturalizing the Logic of Inference, John Woods. College Publications, London (2013), ISBN: 978-1-84890-114-8. 175-178 - Dov M. Gabbay, Loïc Gammaitoni, Xin Sun:
The paradoxes of permission an action based solution. 179-191 - Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su:
Capturing equilibrium models in modal logic. 192-207 - Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic:
A propositional linear time logic with time flow isomorphic to ω2. 208-229
- Vincenzo Crupi, Katya Tentori:
Erratum to "Confirmation as partial entailment" [Journal of Applied Logic 11 (2013) 364-372]. 230-231
Volume 12, Number 3, September 2014
- Niki Pfeifer:
Editor's note: Special issue on Combining Probability and Logic to Solve Philosophical Problems. 233-234
- Alan Hájek:
Probabilities of counterfactuals and counterfactual probabilities. 235-251 - Peter Milne:
Information, confirmation, and conditionals. 252-262 - Igor Douven:
Reasoning about evidence. 263-278 - Tommaso Flaminio, Lluís Godo, Hykel Hosni:
On the logical structure of de Finetti's notion of event. 279-301 - Teddy Groves:
An application of Carnapian inductive logic to an argument in the philosophy of statistics. 302-318 - Sean Walsh:
Empiricism, probability, and knowledge of arithmetic: A preliminary defense. 319-348 - Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger:
Towards classifying propositional probabilistic logics. 349-368 - Dana S. Scott:
Stochastic λ-calculi: An extended abstract. 369-376
Volume 12, Number 4, December 2014
- Bruno Teheux:
Propositional dynamic logic for searching games with errors. 377-394 - Benedikt Bollig, C. Aiswarya, Paul Gastin, Marc Zeitoun:
Temporal logics for concurrent recursive programs: Satisfiability and model checking. 395-416 - Clayton Peterson:
The categorical imperative: Category theory as a foundation for deontic logic. 417-461 - Malte S. Kließ, Jeff B. Paris:
Second order inductive logic and Wilmers' principle. 462-476 - Judit X. Madarász, Gergely Székely:
The existence of superluminal particles is consistent with relativistic dynamics. 477-500 - Souhila Kaci, Namrata Patel:
A postulate-based analysis of comparative preference statements. 501-521 - Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Constraint LTL satisfiability checking without automata. 522-557 - Marcello D'Agostino, Mario Piazza, Gabriele Pulcini:
A logical calculus for controlled monotonicity. 558-569 - Dov M. Gabbay, Ilya Shapirovsky, Valentin B. Shehtman:
Products of modal logics and tensor products of modal algebras. 570-583 - Franz Baader, Marcel Lippmann:
Runtime verification using the temporal description logic ALC-LTL revisited. 584-613
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-10-29 01:38 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:
