Pages that link to "Item:Q5642556"

The following pages link to Persistent and invariant formulas relative to theories of higher order (Q5642556):

Displaying 7 items.

• Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
• Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
• Hybrid logic meets IF modal logic (Q1047800) (← links)
• Robinson forcing is not absolute (Q1245825) (← links)
• Expressivity of second order propositional modal logic (Q2499295) (← links)
• Logics of Finite Hankel Rank (Q2947177) (← links)
• Barwise: Infinitary Logic and Admissible Sets (Q4678932) (← links)