E-Books durchsuchen

A Characterisation of Definable NP Search Problems in Peano Arithmetic

Algebraic Valuations as Behavioral Logical Matrices

Query Answering in Description Logics: The Knots Approach

Mathematical Logic for Life Science Ontologies

Recognizability in the Simply Typed Lambda-Calculus

Logic-Based Probabilistic Modeling

Completions of Basic Algebras

Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization

Observational Completeness on Abstract Interpretation

SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability

Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points

First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

On-the-Fly Macros

Abductive Logic Grammars

On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar

Observational Effort and Formally Open Mappings

Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus

Property Driven Three-Valued Model Checking on Hybrid Automata

Team Logic and Second-Order Logic

Ludics and Its Applications to Natural Language Semantics

Spoilt for Choice: Full First-Order Hierarchical Decompositions

Classic-Like Analytic Tableaux for Finite-Valued Logics

A Duality for Algebras of Lattice-Valued Modal Logic

An Independence Relation for Sets of Secrets

Expressing Extension-Based Semantics Based on Stratified Minimal Models

Deep Inference in Bi-intuitionistic Logic

<InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="978-3-642-02261-6_27_Chapter_TeX2GIF_IEq1.gif" Format="GIF" Rendition="HTML" Type="Linedraw" /> </InlineMediaObject> <EquationSource Format="TEX">$\mathcal{CL}$</EquationSource> </InlineEquation>: An Action-Based Logic for Reasoning about Contracts

Ehrenfeucht-Fraïssé Games on Random Structures

Sound and Complete Tree-Sequent Calculus for Inquisitive Logic

The Arrow Calculus as a Quantum Programming Language

Knowledge, Time, and Logical Omniscience