Logic, Formal Methodology and Semantics in Works of Ryszard Wójcicki.
Grzegorz MalinowskiJan WolenskiPublished in: Stud Logica (2011)
Keyphrases
- formal language
- model theoretic
- operational semantics
- formal semantics
- proof theory
- logic programming
- highly expressive
- propositional dynamic logic
- specification languages
- sound and complete axiomatization
- logical framework
- sound and complete with respect
- proof theoretic
- nonmonotonic logics
- epistemic logic
- active rules
- computational properties
- dynamic logic
- conditional logic
- mathematical theory
- description logics
- classical logic
- modal logic
- modal operators
- formal specification
- deductive databases
- algebraic structure
- formal languages
- conceptual model
- logical rules
- autoepistemic logic
- higher order logic
- formal model
- derivation rules
- machine processable
- ctl model update
- alternating time temporal logic
- intuitionistic logic
- logical theories
- logical formulas
- predicate calculus
- logic programs