First-Order Logic on Higher-Order Nested Pushdown Trees

First-order Logic: Modality and Intensionality

First-order queries on structures of bounded degree are computable with constant delay

First-order query evaluation on structures of bounded degree

Fixed point theorem and aperiodic tilings

Fixed-parameter complexity of semantics for logic programs

Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs

Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity

Fixpoint 3-valued semantics for autoepistemic logic

Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying

Flat coalgebraic fixed point logics

Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations

Fluid Model Checking

FO(FD): Extending classical logic with rule-based fixpoint definitions

Focalization and phase models for classical extensions of non-associative Lambek calculus

Focusing and Polarization in Intuitionistic Logic

Focusing in Asynchronous Games

Folk Theorems on the Correspondence between State-Based and Event-Based Systems

Formal Analysis of Quantum Systems using Process Calculus

Formal Component-Based Semantics